fwendland

Fraunhofer AISECGarching b. München

Pinned Repositories

codyze
Codyze is a static analyzer for Java, C, C++ based on code property graphs
Language:Kotlin86 12 9318
codyze-eclipse-plugin
Eclipse LSP adapter for the Codyze static code analyzer
Language:Java1 10 01
codyze-mark-eclipse-plugin
Eclipse plugin and syntax parser for MARK policy files for the Codyze static code analyzer.
Language:Xtend1 10 21
codyze-vs-plugin
Visual Studio plugin for Codyze, the source code analyzer
Language:C#2 12 01
cpg
A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
Language:Kotlin280 13 48262
smartbugs
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Language:Python0 0 00
WholeCell
Mycoplasma genitalium whole-cell model
Language:MATLAB0 1 00
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Language:Python569 18 97140

fwendland's Repositories

fwendland/smartbugs
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Language:Python0 0 00
fwendland/WholeCell
Mycoplasma genitalium whole-cell model
Language:MATLAB0 1 00