pymwp • Rank 4.6 • Science 85%

A static analyzer of variable value growth for C programs.

manticore • Rank 23.4 • Science 64%

Symbolic execution tool

org.soot-oss • Rank 13.6 • Science 67%

A new version of Soot with a completely overhauled architecture

dde • Rank 1.6 • Science 67%

Pure Demand Operational Semantics

https://github.com/agra-uni-bremen/binsym • Science 26%

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model

codesparks-pmd-demo • Science 52%

This is a demo implementation of a CodeSparks plugin for the IntelliJ IDEA.

codesparks-framework • Science 52%

The CodeSparks framework aims to facilitate the integration of software analysis tools into the IDE such that their results are shown as glyph-based visualizations in the source code.

evocatio • Science 65%

codart • Science 44%

Source Code Automated Refactoring Toolkit

analyzer • Science 62%

Static analysis framework for C