static-analysis
Here are 892 public repositories matching this topic...
infer version v0.15.0
in my case, 0xFFFF or 0xFFFFFFFF is a common initializer and there are a lot of this semantics in our code. I would like to ignore those harmless. but if I turn off liveness checker, I worry about missing some truely harmful bugs. Does Infer provide some filtering option or method?
Feature request
I found that phpstan doesn't understand psalms numeric-string type (see https://psalm.dev/docs/annotating_code/type_syntax/scalar_types/#numeric-string)
It would be nice to support it.
here is playground link
https://phpstan.org/r/9e26dfae-706f-4e3a
One thing that's super useful for new users is code examples. Right now, the biggest problem for someone to start using PHP_CodeSniffer is lack of a list of available Sniffers with their options and examples. From what I know to get a list of all sniffs right now, you have to go through source code in src/Standards, and it's exhausting. Something like [mlocati/phpPHP-cs-fixer-configurator](htt
-
Updated
May 15, 2020 - Rust
-
Updated
Apr 11, 2020
-
Updated
May 14, 2020 - Python
[iOS Tool] Needle
Describe the issue
Needle doesn't seem to be maintained anymore. The last update was > 1 year and no issues have been answered this year. It also doesnt' seem to work on iOS JB devices with Chimera. FSecureLABS/needle#273
We should review where we use Needle and if other tools are a better alternative (e.g. objection, passionfruit).
As mentioned in #4534, https://palantir.github.io/tslint/ hasn't been updated in quite some time. It should probably include a deprecation notice now.
If someone sends a PR to update docs/index.md, would it be possible to deploy the new website changes @adidahiya ?
The email address provided in the "Commercial Uses" section in LICENSE.md is invalid. Emails send to that address return with "User unknown" notice.
leftover from #4100 , detected at checkstyle/checkstyle#7775 (comment)
FileTabCharacter is still disabled at checkstyle_resources_checks.xml
When activated there bunch violations File contains tab characters (this is the first instance). [FileTabCharacter]
Some Inputs are created with tabs by design, so such files should be placed to suppress at `ch
Not sure how javadoc is managed currently. But I hope this could save some effort on every release.
Basically https://javadoc.io/doc/com.google.errorprone/error_prone_annotation will always point to the latest version published to JCenter / Central Maven.
Or you can add a badge with versions always up to date:
`[. It was also removed in uopz 5.0
internal/reflection_completeness_check.php will help if uopz is installed.
For a lot of things (especially usages) jedi's completely lazy approach is not good enough. It is probably better to use a database index cache. The index will basically be a graph that saves all the type inference findings.
This is just an issue for discussion and collection of possible ideas.
-
Updated
May 13, 2020 - C#
The documentation equates two kinds of attribute declarations:
explicit:
class Derp:
attribute: int = 1
@property
def property(self) -> int: ...and implicit:
class Derp:
def __init__(self):
self.attribute: int = 1Those two things are not about explicit v
I did a quick search of the issues, both open and closed, but didn't see something like what I'm proposing.
The problem I am having is that reek is throwing up warnings for scaffolding code that hasn't yet been fleshed out. I've included an example below.
I'd like a mechanism that will let me suppress all warnings for a function in the particular instance that the function is not yet impleme
Summary
(I tested this for G201 but inspected the code for G202 and believe it has the same issue.)
G201 will detect SQL string formatting when I have fmt.Sprintf("SELECT * FROM TEST UNION %s", "SELECT * FROM test") in my code. However, it will not detect when I have fmt.Sprintf("select * from test union %s", "select * from test") in my code. I believe this is a bug.
See: https://g
Write an article (possibly interactive) on tuning staticcheck's performance. With our new runner (to be committed), memory usage and CPU time behave as expected when you increase the number of processors:
- memory usage grows linearly
- runtime is inversely proportional
- speedups approach an upper limit as per Amdahl's law
If we let staticcheck measure and output the proportion of linear
Low priority since I'd expect the fraction of developers who use bash/zsh and look for completion scripts and set them up manually is small.
-
Updated
May 16, 2020 - C++
Affects PMD Version:
6.20.0
Rule:
PositionLiteralsFirstInComparisons
PositionLiteralsFirstInCaseInsensitiveComparisons
Description:
The above two rules must be
Reactor support?
Reactor is starting to gain some traction so would it be possible to get something like RxNullabilityPropagator to support it?
unit test coverage is always 0% , even the log shows that "Linter:UnitTest over".
command:
goreporter -p ./ -r /Users/jeffrey -f html
log:
2018/11/11 19:33:45 The template path is not specified,and will use the default template
2018/11/11 19:33:45 There are no packages that are excepted, review all items of the package
2018/11/11 19:33:45 Linter:CountCode over,time consumi
Improve this page
Add a description, image, and links to the static-analysis topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-analysis topic, visit your repo's landing page and select "manage topics."
For new checks and feature suggestions
shellcheck.net (i.e. the latest commit) currently gives no useful warnings about thisI can't check shellcheck.net because it requires JavaScript.
Here's a snippet or screenshot that shows the problem: