jpf-core
Model checker
An extensible software model checking framework for Java bytecode programs
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.
535 stars
22 watching
336 forks
Language: Java
last commit: about 1 month ago
Linked from 1 awesome list
akullpp/awesome-javaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jparsec/jparsec | A Java framework for building recursive-descent parsers with a declarative API. | 342 |
 mbechler/serianalyzer | Analyzes Java bytecode to identify potential deserialization vulnerabilities. | 241 |
 storyyeller/krakatau | A toolset for analyzing and manipulating Java bytecode | 1,992 |
 coderplay/perfj | A wrapper that enables profiling of Java programs using Linux perf's system profiler capabilities | 352 |
 jbehave/jbehave-core | A BDD framework for Java-based testing and development | 31 |
 tbroyer/gradle-errorprone-plugin | A Gradle plugin that enables the use of Error Prone compiler for Java code analysis | 368 |
 burningwave/core | A Java library for building frameworks and facilitating classpath scanning, code execution, reflection, and file system interaction. | 199 |
 sjednac/coffea | Analyzes static dependencies in Java bytecode to model its internal structure and connections | 14 |
 wfhartford/gradle-dependency-analyze | Analyzes dependencies in a Java project to identify potential issues and recommendations for improvement | 0 |
 jroeckle/marionette-require-gulpjs-boilerplate | A development framework combining Backbone.js, RequireJS, and Gulp.js to create a lightweight project structure. | 18 |
 ocadaruma/duckdb-jfr-extension | An extension to DuckDB that enables analysis of Java Flight Recorder files using familiar SQL queries. | 5 |
 tushartushar/designitejava | A tool for assessing the quality and structure of Java code by detecting design and implementation smells and computing various object-oriented metrics. | 173 |
 tcurdt/jdependency | An analysis tool for class dependencies and jar file relationships | 71 |
 decaf-project/decaf | A whole-system dynamic binary analysis platform that enables the analysis of malware and malicious code execution | 805 |
 devexperts/aprof | Tools to analyze memory allocation in Java applications with minimal performance impact | 220 |