Alternatives and similar repositories for pasket:

Users that are interested in pasket are comparing it to the libraries listed below

• saswatanand / acteve
  Dynamic Symbolic Execution of Android Apps
  ☆22Updated 9 years ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• trailofbits / DomTreSat
  Dominator Tree LLVM Pass to Test Satisfiability
  ☆47Updated 8 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆91Updated 6 years ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆42Updated 3 years ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• brainsmoke / minemu
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆39Updated 4 years ago
• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆32Updated 10 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• hksecurity / FuzzBuilder
  ☆47Updated 4 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• SoftSec-KAIST / MeanDiff
  Testing Intermediate Representations for Binary Analysis (ASE '17)
  ☆80Updated 6 years ago
• carter-yagemann / barnum-tracer
  The PT tracing portion of Barnum.
  ☆11Updated 5 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆35Updated 5 years ago
• nettrino / slowfuzz
  ☆50Updated 7 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆25Updated 6 years ago
• SunghoLee / HybriDroid
  Static Analysis Framework for Android Hybrid Applications
  ☆24Updated 4 years ago
• aflgo / oss-fuzz
  OSS-Fuzz - integrated with AFLGo for Patch Testing
  ☆35Updated 7 years ago
• tracer-x / TRACER
  TRACER Symbolic Execution Tool
  ☆28Updated 4 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 9 years ago
• feliam / klee-taint
  KLEE-TAINT - Klee with taint analysis support
  ☆72Updated 7 years ago
• plum-umd / fuzzing-benchmarks
  The collection of programs for evaluating fuzzing techniques
  ☆20Updated 7 years ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 8 years ago