7 results found Sort:

facebook
pyre-check facebook
434
6.8k
mit
111
Performant type-checking for python.
ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation
Created 2017-11-10
16,828 commits to main branch, last one 13 hours ago
FuzzingLabs
octopus FuzzingLabs
83
479
mit
19
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
eos neo wasm ethereum security blockchain webassembly disassembler evm-bytecode smart-contracts security-analysis call-flow-analysis control-flow-analysis
This repository has been archived (exclude archived)
Created 2018-06-13
237 commits to master branch, last one 3 years ago
danielplohmann
smda danielplohmann
36
221
bsd-2-clause
15
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
x64 x86 memory-dump disassembler code-analysis control-flow-graph control-flow-analysis
Created 2018-07-01
254 commits to master branch, last one 2 months ago
Washi1337
Echo Washi1337
32
195
other
16
Generic static analysis framework.
cil x86 bytecode emulation code-analysis data-flow-analysis control-flow-analysis
Created 2019-06-07
1,312 commits to master branch, last one about a month ago
pfalcon
awesome-program-analysis pfalcon
24
152
unknown
14
Program Analisys and Transformation survey and links (particular focus on SSA)
ssa-form phi-functions ssa-construction register-allocators control-flow-analysis
Created 2018-11-07
44 commits to master branch, last one 3 years ago
extremecoders-re
bytecode_simplifier extremecoders-re
38
102
unknown
15
A generic deobfuscator for PjOrion obfuscated python scripts
python deobfuscation reverse-engineering control-flow-analysis
Created 2017-07-10
17 commits to master branch, last one 7 months ago
Aurore54F
JStap Aurore54F
16
62
agpl-3.0
6
Modular static malicious JavaScript detection system
python3 javascript classification static-analysis lexical-analysis malware-detection data-flow-analysis syntactic-analysis control-flow-analysis
Created 2019-09-02
11 commits to master branch, last one 3 years ago