isstac / kelinci

Related projects ⓘ

Alternatives and complementary repositories for kelinci

• gmu-swe / phosphor
  Phosphor: Dynamic Taint Tracking for the JVM
  ☆166Updated 2 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆113Updated 5 years ago
• Barro / java-afl
  Binary rewriting approach with fork server support to fuzz Java applications with afl-fuzz.
  ☆88Updated 6 years ago
• soot-oss / heros
  IFDS/IDE Solver for Soot and other frameworks
  ☆231Updated last year
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆240Updated 5 years ago
• rohanpadhye / JQF
  JQF + Zest: Coverage-guided semantic fuzzing for Java.
  ☆666Updated last month
• fuzzitdev / javafuzz
  coverage guided fuzz testing for java
  ☆228Updated 3 years ago
• HexHive / FuzzGen
  ☆296Updated 3 years ago
• zhunki / Superion
  Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.
  ☆127Updated 2 years ago
• joana-team / joana
  Joana - Information Flow Control for Java
  ☆91Updated 2 years ago
• Fraunhofer-AISEC / codyze
  Codyze is a static analyzer for Java, C, C++ based on code property graphs
  ☆87Updated 2 weeks ago
• aflgo / aflgo
  Directed Greybox Fuzzing with AFL
  ☆503Updated 7 months ago
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆172Updated 6 months ago
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆164Updated 2 weeks ago
• bin2415 / fuzzing_paper
  fuzzing related paper
  ☆226Updated 3 years ago
• mboehme / aflfast
  AFLFast (extends AFL with Power Schedules)
  ☆410Updated last year
• aflsmart / aflsmart
  Smart Greybox Fuzzing (https://thuanpv.github.io/publications/TSE19_aflsmart.pdf)
  ☆506Updated 2 years ago
• find-sec-bugs / juliet-test-suite
  A collection of test cases in the Java language. It contains examples for 112 different CWEs.
  ☆52Updated 3 years ago
• evanmak / savior-source
  source code for savior fuzzer
  ☆126Updated 4 years ago
• profuzzbench / profuzzbench
  ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
  ☆230Updated 3 months ago
• Dongdongshe / neuzz
  neural network assisted fuzzer
  ☆394Updated 4 years ago
• RUB-SysSec / ijon
  ☆188Updated 5 months ago
• s3team / Polyglot
  ☆104Updated 9 months ago
• asarubbo / poc
  ☆79Updated 6 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆201Updated 7 years ago
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆224Updated 2 years ago
• CROSSINGTUD / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆41Updated 3 years ago
• CodeShield-Security / SPDS
  Efficient and Precise Pointer-Tracking Data-Flow Framework
  ☆66Updated 7 months ago