org.opalj.bugpicker.core.analysis
Executes the analysis of the project's concrete methods.
Executes the analysis of the project's concrete methods.
A list of (optional) parameters. The parameters that are
matched are defined by:
BugPickerAnalysis.MaxEvalFactorPattern,
BugPickerAnalysis.MaxEvalTimePattern,
BugPickerAnalysis.MaxCardinalityOfIntegerRangesPattern,
BugPickerAnalysis.MaxCardinalityOfLongSetsPattern,
BugPickerAnalysis.MaxCallChainLengthPattern, and "-debug
".
Wrapper around several analyses that analyze the control- and data-flow to identify various issues in the source code of projects.
Precision
The analyses are designed such that they try to avoid to report false positives to facilitate usage of the BugPicker. However, given that we analyze Java bytecode, some findings may be the result of the compilation scheme employed by the compiler and, hence, cannot be resolved at the source code level. This is in particular true for finally blocks in Java programs. In this case compilers typically include the same block two (or more) times in the code. Furthermore, Java reflection and reflection-like mechanisms are also a source of false positives.