Alternatives and similar repositories for kelinci

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

• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆179Updated 2 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆120Updated 6 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆251Updated 2 years ago
• HexHive / FuzzGen
  ☆305Updated 4 years ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆94Updated 3 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆249Updated 6 years ago
• rohanpadhye / JQF
  JQF + Zest: Coverage-guided semantic fuzzing for Java.
  ☆708Updated 3 months ago
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆135Updated 3 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆420Updated 2 years ago
• aflgo / aflgo
  Directed Greybox Fuzzing with AFL
  ☆537Updated last year
• bin2415 / fuzzing_paper
  fuzzing related paper
  ☆228Updated 4 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆178Updated last year
• aflsmart / aflsmart
  Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
  ☆517Updated 3 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆89Updated 7 months ago
• secure-software-engineering / tamiflex
  TamiFlex facilitates static analysis of programs that use reflection and custom class loaders
  ☆44Updated 4 years ago
• zhunki / skyfire
  ☆54Updated 6 years ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆57Updated 4 years ago
• s3team / Polyglot
  ☆104Updated last year
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆408Updated 5 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆77Updated 3 years ago
• asarubbo / poc
  ☆84Updated 7 years ago
• puppet-meteor / MOpt-AFL
  MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
  ☆214Updated 4 years ago
• SoftSec-KAIST / Fuzzing-Survey
  The Art, Science, and Engineering of Fuzzing: A Survey
  ☆224Updated this week
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 4 years ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆156Updated last week
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆233Updated 3 years ago
• isstac / badger
  ☆20Updated 6 years ago
• panda-re / lava
  LAVA: Large-scale Automated Vulnerability Addition
  ☆405Updated 2 months ago
• zjuchenyuan / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆101Updated 4 years ago