Repository Index

Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.

• code-property-graph
• compiler-theory
• program-analysis
• robdd

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

• static-analysis
• software-verification
• abstract-interpretation
• program-analysis

Finds prime numbers using the Sieve of Eratosthenes algorithm.

• npm
• nodejs
• prime-numbers
• number-theory