secure-software-engineering / SootFX

Related projects ⓘ

Alternatives and complementary repositories for SootFX

• secure-software-engineering / COVA
  COVA - A static analysis tool to compute path conditions
  ☆32Updated last year
• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆16Updated 7 months ago
• VPRLab / BackDroid
  A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
  ☆47Updated 3 years ago
• FoelliX / ReproDroid
  Android Benchmark Reproduction Framework
  ☆11Updated 2 years ago
• HexHive / teezz-fuzzer
  ☆22Updated last year
• treebacker / MemAFL
  A Coverage-Based fuzzing tools
  ☆22Updated 3 years ago
• chicharitomu14 / AndScanner
  This is the project for the paper “Large-scale Security Measurements on the Android Firmware Ecosystem” in ICSE2022
  ☆35Updated last year
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆34Updated 3 years ago
• OSUSecLab / TaintMini
  Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
  ☆73Updated 7 months ago
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 7 months ago
• awen-li / PolyCruise
  A Cross-Language Dynamic Information Flow Analysis.
  ☆24Updated last year
• OMH4ck / PolyGlot
  ☆36Updated 6 months ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆28Updated last year
• cryptomadco / fuzzingdriver
  aurora-d
  ☆20Updated 2 years ago
• another1024 / afl_analyses
  afl源码分析
  ☆13Updated 6 years ago
• wtdcode / fuzzercorn
  Bring libfuzzer to Unicorn
  ☆26Updated 2 years ago
• OSUSecLab / SelectiveTaint
  ☆70Updated 3 years ago
• occia / apicraft
  Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".
  ☆64Updated 2 years ago
• elManto / StaticAnalysisQueries
  A set of Code-ql/Joern queries to find vulnerabilities
  ☆54Updated 3 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆59Updated last year
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆123Updated 2 months ago
• LianKee / StrawFuzzer
  ☆65Updated 3 years ago
• alibaba / AegiScan
  A Static Dataflow Analysis Framework for iOS Applications.
  ☆43Updated 7 months ago
• arguslab / NativeFlowBench
  Benchmark apps for static analyzing native world of Android applications.
  ☆11Updated 5 years ago
• Kiprey / protobuf_ctf_fuzz
  A CTF fuzz powerd by protobuf.
  ☆15Updated 2 years ago
• scotty-kdw / ARM-Analyzer
  Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation
  ☆46Updated 7 years ago
• Anonymous-SFuzz / SFuzz
  ☆34Updated 2 years ago
• ThePatrickStar / fuzzer-data-collector
  ☆24Updated last year
• wtwofire / A-systematic-review-of-fuzzing-based-on-machine-learning-techniques
  ☆10Updated 4 years ago
• Nicholas1126 / frida-fuzzer-aio
  The Frida based fuzzer all in one
  ☆30Updated 3 years ago