ilyasergey / monadic-cfa
Licence: other
Generic implementation of different CFA families based on monadic decomposition
Stars: ✭ 16
Programming Languages
haskell
3896 projects
Projects that are alternatives of or similar to monadic-cfa
sturdy
Sturdy is a library for developing sound static analyses in Haskell.
Stars: ✭ 49 (+206.25%)
Mutual labels: static-analysis, abstract-interpretation
progge.rs
Program analysis playground for a simple, imperative language
Stars: ✭ 29 (+81.25%)
Mutual labels: static-analysis, abstract-interpretation
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+1025%)
Mutual labels: static-analysis, abstract-interpretation
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (+35625%)
Mutual labels: static-analysis, abstract-interpretation
Lyra
No description or website provided.
Stars: ✭ 23 (+43.75%)
Mutual labels: static-analysis, abstract-interpretation
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Stars: ✭ 20 (+25%)
Mutual labels: static-analysis, abstract-interpretation
SixtyPical
A 6502-oriented low-level programming language supporting advanced static analysis
Stars: ✭ 25 (+56.25%)
Mutual labels: static-analysis, abstract-interpretation
static-code-analysis-plugin
A plugin to simplify Static Code Analysis on Gradle. Not restricted to, but specially useful, in Android projects, by making sure all analysis can access the SDK classes.
Stars: ✭ 36 (+125%)
Mutual labels: static-analysis
pyc2bytecode
A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)
Stars: ✭ 70 (+337.5%)
Mutual labels: static-analysis
codeclimate-eslint
Code Climate Engine for ESLint
Stars: ✭ 86 (+437.5%)
Mutual labels: static-analysis
declarative-form-generator
A simple react form generator using functional programming concepts
Stars: ✭ 14 (-12.5%)
Mutual labels: monads
addlint
An example linter written with go/analysis for tutorial purposes
Stars: ✭ 49 (+206.25%)
Mutual labels: static-analysis
averroes
Java bytecode generator for sound and precise partial program analysis
Stars: ✭ 19 (+18.75%)
Mutual labels: static-analysis
automutate
Applies waves of mutations provided by other tools, such as linters or codemods.
Stars: ✭ 13 (-18.75%)
Mutual labels: static-analysis
Narvalo.NET
Applied functional patterns for C#. Money and Currency types. MVP framework. (Obsolete)
Stars: ✭ 16 (+0%)
Mutual labels: monads
qodana-action
⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana
Stars: ✭ 112 (+600%)
Mutual labels: static-analysis
gha-setup-scancentral-client
GitHub Action to set up Fortify ScanCentral Client
Stars: ✭ 15 (-6.25%)
Mutual labels: static-analysis
ethereum-dasm
An ethereum evm bytecode disassembler and static/dynamic analysis tool
Stars: ✭ 121 (+656.25%)
Mutual labels: static-analysis
Project structure: ------------------ CFA - General modules, shred between different CFA instances and languages |- AFJ - A family of analyses based on CESK Abstract Machine | for A-Normal Featherweight Java |- CESK - A family of analyses based on CESK Abstract Machine | for direct-style Lambda-calculus |- CPS - A family of analyses based on CPS Scheme How to build: ------------- Build everything: make all Build CPS-based analyses: make cps Build CESK-based analyses: make cesk Build ANF FJ-based analyses: make afj Clean: make clean
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].