secure-software-engineering / COVA

Related projects: ⓘ

• secure-software-engineering / secucheck
  Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to s…
  ☆16Updated 6 months ago
• arguslab / NativeFlowBench
  Benchmark apps for static analyzing native world of Android applications.
  ☆11Updated 5 years ago
• secure-software-engineering / SootFX
  A Static Code Feature Extraction Tool for Java and Android
  ☆18Updated last year
• MoonLight-SteinsGate / LearnAFL
  This is the project of LearnAFL.
  ☆26Updated 4 years ago
• cryptomadco / fuzzingdriver
  aurora-d
  ☆20Updated 2 years ago
• angr / pysoot
  Python bindings for Shimple/Jimple IR from Soot.
  ☆41Updated 8 months ago
• vasumv / bonsai-fuzzing
  ☆25Updated last year
• datadancer / HIAFuzz
  Hybrid Interface Aware Fuzz for Android Kernel Drivers
  ☆31Updated 3 years ago
• elManto / SAST_on_Decompilers
  Code and artifacts related to the Asia CCS 2022 paper
  ☆34Updated 2 years ago
• occia / apicraft
  Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".
  ☆63Updated 2 years ago
• VPRLab / BackDroid
  A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid
  ☆45Updated 3 years ago
• OSUSecLab / InputScope
  A tool that automatically detects both the execution context of user input validation and also the content involved in the validation, to…
  ☆47Updated 4 years ago
• salmonx / seeds
  模糊测试种子库 comprehensive croups for fuzzing seeds with carfefully selected(rate=coverage/filesize)
  ☆20Updated 3 years ago
• OSUSecLab / LeakScope
  Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
  ☆40Updated 4 years ago
• andreafioraldi / FuzzSplore
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆35Updated 3 years ago
• another1024 / afl_analyses
  afl源码分析
  ☆13Updated 6 years ago
• wtdcode / fuzzercorn
  Bring libfuzzer to Unicorn
  ☆26Updated 2 years ago
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• OSUSecLab / SelectiveTaint
  ☆70Updated 3 years ago
• bitsecurerlab / afl-sensitive
  Sensitive and Collaborative Fuzzing with AFL
  ☆26Updated 5 years ago
• treebacker / MemAFL
  A Coverage-Based fuzzing tools
  ☆22Updated 3 years ago
• quarkslab / aosp_dataset
  Large Commit Precise Vulnerability Dataset based on AOSP CVE
  ☆57Updated last year
• lcatro / klee-fl
  KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .
  ☆29Updated 5 years ago
• FoelliX / ReproDroid
  Android Benchmark Reproduction Framework
  ☆12Updated 2 years ago
• Ljiee / deepfuzz
  ☆16Updated 4 years ago
• Android-Framework-Symbolic-Executor / Centaur
  Symbolic Execution of Android Framework
  ☆14Updated 7 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
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆45Updated 10 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆72Updated 2 years ago
• susperius / icisc_rnnfuzz
  The tools used to train the models used for the ICISC paper "Recurrent neural networks for fuzz testing web browsers"
  ☆28Updated 5 years ago