Similar repositories to BinaryAnalysisPlatform/bap-veri:
aquynh/capstone
github
similar
BinaryAnalysisPlatform/bap-veri
github
similar
jart/blink
github
similar
dwijnand/sbt-dynver
github
similar
danistefanovic/build-your-own-x
github
similar
tootsuite/mastodon
github
similar
facebookexperimental/hermit
github
similar
trailofbits/pasta
github
similar
mdadams/clang_libraries_companion
github
similar
rsms/llvmbox
github
similar
lencx/ChatGPT
github
similar
karpathy/nanoGPT
github
similar
uwplse/SaltShaker
github
similar
richinseattle/libpngfuzz
github
similar
ucsb-seclab/autofacts
github
similar
mainland/kyllini
github
similar
mhirki/idq-bench2
github
similar
kanpol/stuf
github
similar
subwire/autoblob
github
similar
csienslab-PCC/PathConstraintClassifier
github
similar
WSP-LAB/CRScope
github
similar
gokhankici/iodine
github
similar
stffrdhrn/tls-examples
github
similar
RRZE-HPC/asmbench
github
similar
andreas-abel/uiCA-eval
github
similar
jku-ssw/gcc-builtin-study
github
similar
TrustedCloud/ConfLLVM
github
similar
phalpern/MIRMatcher
github
similar
maurer/bap-rust
github
similar
ymanerka/rtlcheck
github
similar
dcdelia/tinyvm
github
similar
TQRG/secbench
github
similar
plasma-umass/memory-landscape
github
similar
cdonovick/peak
github
similar
bchurchill/pldi19-equivalence-checker
github
similar
rsnikhil/RISCV_ISA_Formal_Spec_in_BSV
github
similar
gergo-/ldrgen
github
similar
uwplse/memsynth
github
similar
luhsra/multiverse
github
similar
BinaryAnalysisPlatform/bap-pintraces
github
similar