jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
AI summary
Bytecode analyzer
Analyzes Java bytecode programs to detect concurrency defects and other errors
- stars
- 538
- forks
- 344
- watching
- 22
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Parser framework
A Java framework for building recursive-descent parsers with a declarative API.
Bytecode analyzer
Analyzes Java bytecode to identify potential deserialization vulnerabilities.
Bytecode analyzer
A toolset for analyzing and manipulating Java bytecode
Java Profiler
A wrapper that enables profiling of Java programs using Linux perf's system profiler capabilities
Test framework
A BDD framework for Java-based testing and development
Code analyzer
A Gradle plugin that enables the use of Error Prone compiler for Java code analysis
Framework builder
A Java library for building frameworks and facilitating classpath scanning, code execution, reflection, and file system interaction.
Dependency analyzer
Analyzes static dependencies in Java bytecode to model its internal structure and connections
Dependency analyzer
Analyzes dependencies in a Java project to identify potential issues and recommendations for improvement
Development framework
A development framework combining Backbone.js, RequireJS, and Gulp.js to create a lightweight project structure.
JFR analyzer
An extension to DuckDB that enables analysis of Java Flight Recorder files using familiar SQL queries.
Code analyzer
A tool for assessing the quality and structure of Java code by detecting design and implementation smells and computing various object-oriented metrics.
Dependency analyzer
An analysis tool for class dependencies and jar file relationships
Binary analyzer
A whole-system dynamic binary analysis platform that enables the analysis of malware and malicious code execution
Memory Profiler
A Java agent that inserts memory allocation counters into class bytecode to profile memory allocation
Featured in 1 awesome list
Each link jumps to the spot where the list mentions jpf-core.
