StaticBugCheckers | empirical study of the recall

by sola-da Python Version: Current License: MIT

X-Ray Key Features Code Snippets Community Discussions Vulnerabilities Install Support

kandi X-RAY | StaticBugCheckers Summary

StaticBugCheckers is a Python library typically used in Telecommunications, Media, Media, Entertainment applications. StaticBugCheckers has no bugs, it has no vulnerabilities, it has a Permissive License and it has low support. However StaticBugCheckers build file is not available. You can download it from GitHub.

StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding tools including Google's Error Prone, Facebook's Infer, and Spotbugs.

Support

Quality

Security

License

Reuse

Support

StaticBugCheckers has a low active ecosystem.

It has 10 star(s) with 3 fork(s). There are 3 watchers for this library.

It had no major release in the last 6 months.

There are 0 open issues and 1 have been closed. On average issues are closed in 7 days. There are no pull requests.

It has a neutral sentiment in the developer community.

The latest version of StaticBugCheckers is current.

Quality

StaticBugCheckers has no bugs reported.

Security

StaticBugCheckers has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

License

StaticBugCheckers is licensed under the MIT License. This license is Permissive.

Permissive licenses have the least restrictions, and you can use them in most projects.

Reuse

StaticBugCheckers releases are not available. You will need to build from source code and install.

StaticBugCheckers has no build file. You will be need to create the build yourself to build the component from source.

Installation instructions, examples and code snippets are available.

Top functions reviewed by kandi - BETA

kandi has reviewed StaticBugCheckers and discovered the below as its top functions. This is intended to give you an instant insight into StaticBugCheckers implemented functionality, and help decide if they suit your requirements.

Takes a list of diffs and returns a list of MessageMatches
Matches the difference between two splits
Return a list of all lines in the line
Finds the messages in the given project and returns them
Run inference on a project
Prepare the tool to use
Merge json strings
Given a list of diffs return a list of dicts that match the diff
Match inf list of inf
Takes a list of diffs and returns a list of messages that match the ep
Return a list of lines that match the diff
Parse errorprone output
Returns the Java class name for the given file path
Return a list of SpotbugsMsg objects
Load InferMsg objects from a parsed inf file
Returns a list of FileDiff objects
Returns a list of removed warnings that match inf_f
Get removed warnings from ep
Return a list of bugbugs reports
Return a list of removed warnings
Create a InferMsg object from a json file
Compute the diff between two files
Check out all of the dependencies of a project
Run error prone problems on a given project
Run SpotBugs on a project
Return a list of Error proneMsg objects

Get all kandi verified functions for this library.

StaticBugCheckers Key Features

No Key Features are available at this moment for StaticBugCheckers.

StaticBugCheckers Examples and Code Snippets

No Code Snippets are available at this moment for StaticBugCheckers.

Community Discussions

No Community Discussions are available at this moment for StaticBugCheckers.Refer to stack overflow page for discussions.

Community Discussions, Code Snippets contain sources that include Stack Exchange Network

Vulnerabilities

No vulnerabilities reported

Install StaticBugCheckers

Our scripts bash curl (on Linux, use apt-get install curl) wget (on MacOS, if you have brew, use brew install wget) python 3 (also joblib is required. Use pip3 install joblib) For MacOS users, coreutils is required too. Use brew install coreutils Based on our testing, Java 8 is the most compatible with the static analyzers and Defects4J framework.
3rd party tools Defects4J requirements has to be met.

Support

Static bug detection tools such as Google's Error Prone, Facebook's Infer, and SpotBugs are widely used nowadays not only by academic researchers but also by major software development companies and in general by developers in various industries. As such tools are becoming more and more famous and widely adopted, we performed an empirical study on the recall of these three state-of-the-art static bug checkers using a representative set of 594 real world Java bugs from 15 popular projects. In other words, our study answers the question of how many of a set of known bugs do these static checkers find in reality.

Find more information at: