program-analysis
code-quality
static-analysis
python
security
ocaml
typechecker
type-check
abstract-interpretation
taint-analysis
control-flow-analysis
packer
elf
macho
entropy
unpacker
malware-research
mach-o
debugger
detect
reverse-engineering
binary-analysis
malware-analysis
disassembler
detector
code-review
code-quality-analyzer
code-analysis
python37
facebook/pyre-check503日前6.6k
Performant type-checking for python.
horsicq/Detect-It-Easy501日前6.3k
Program for determining types of files for Windows, Linux and MacOS.
Tencent/CodeAnalysis503日前1.5k
Static Code Analysis - 静态代码分析