mypy VS Coverity Scan

mypy Reviews

Coverity Scan Reviews

mypy mentions (49)

• Moving your bugs forward in time

  ‍I’m not here to tell people which languages they should love. But if you do find yourself writing production code in a dynamically typed language like Python, Ruby, or JavaScript, I would give serious consideration to opting into the type-checking tools that have become available in those ecosystems. In Python, consider requiring type hints and adding mypy checks to your CI to move your type safety bugs forward... - Source: dev.to / 13 days ago

• Embracing Modern Python for Web Development

  Mypy is "an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing". As Python is dynamically typed, Mypy adds an extra layer of safety by checking types at compile time (based on type annotations conforming to PEP 484), catching potential errors before runtime. - Source: dev.to / 6 months ago

• A Tale of Two Kitchens - Hypermodernizing Your Python Code Base

  Mypy stands as an essential static type-checking tool. Its primary function is to verify the correctness of types in your codebase. However, manually annotating types in legacy code can be laborious and time-consuming. - Source: dev.to / 7 months ago

• Lua: The Little Language That Could

  Lua is a great language for embedding, but one thing I wish it had was some form of optional type annotations that could be checked by a linter. Something like mypy for Lua would be super-useful. Source: 12 months ago

• Please critique my Collatz conjecture code

  Python is a dynamically typed language (unlike C or java which are statically typed) meaning that there's no enforcement on the type. This var ; type syntax is called Type Hints, and they are just that, merely hints. So they serve as a reminder to developers of what types of variables a function should receive and output, but they implement no real restrictions. So if you try to pass a string to collatz for... Source: about 1 year ago

Coverity Scan mentions (4)

• I created this point of sale system for restaurants and hospitality. The All-In-One has a 15.6" touchscreen running a Raspberry Pi Compute Module 4L and is made by Chipsee in Bejing, China. I'm helping a friend install it in a restaurant on the St. Lawrence River where he is the Executive Chef.

  You can use Coverity for free on open source code. I use it on an app I open sourced for packet processing. https://scan.coverity.com/. Source: over 2 years ago

• Free for dev - list of software (SaaS, PaaS, IaaS, etc.)

  Scan.coverity.com — Static code analysis for Java, C/C++, C# and JavaScript, free for Open Source. - Source: dev.to / almost 3 years ago

• CDN dollar just hit 6 year high.

  I personally remember Coverity Scan being completely offline for like 6 months while they tried to deal with infrastructure abuse from people mining bitcoin on their computing clusters. Source: about 3 years ago

• GCC 10.3 has been released

  > Does anyone know any good static analysers other than gcc's or clang's? Visual C++ as well, because since the XP SP2 issues, Microsoft has come up with SAL, which you can also use on your own code, https://docs.microsoft.com/en-us/cpp/code-quality/using-sal-annotations-to-reduce-c-cpp-code-defects?view=msvc-160 Then specialized tooling just for this purpose, just two examples, https://scan.coverity.com/... - Source: Hacker News / about 3 years ago