Alternatives and similar repositories for Jess

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

• mlfbrown / sys2
  Sys, but no longer in Haskell
  ☆18Updated 3 years ago
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆42Updated 2 years ago
• seclab-ucr / UBITect
  ☆39Updated 2 years ago
• RiS3-Lab / muse
  Source code of MEUZZ fuzzer
  ☆45Updated 3 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• vasumv / bonsai-fuzzing
  ☆27Updated 2 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• rahlk / MTFuzz
  MTFuzz: Fuzzing with a Multi-Task Neural Network
  ☆35Updated 4 years ago
• VulnLoc / VulnLoc
  ☆29Updated 3 years ago
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆40Updated last year
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 4 years ago
• ShiftLeftSecurity / fuzzyc2cpg
  A fuzzy parser for C/C++ that creates semantic code property graphs
  ☆36Updated 4 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• monkbai / DecFuzzer
  Decompiler Fuzzing Test with EMI mutation
  ☆15Updated 5 years ago
• squizz617 / vuddy
  VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
  ☆52Updated 3 months ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆28Updated last year
• AngoraFuzzer / FuzzingRealProgramBenchStatistics
  List the real world programs evaluated in fuzzing papers.
  ☆56Updated 6 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆33Updated 3 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• RiS3-Lab / FICS
  ☆49Updated 4 years ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• kengiter / lrsan
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆29Updated 6 years ago
• DeepSoftwareAnalytics / LibDB
  ☆34Updated 2 years ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• s3team / DeepFuzz
  ☆23Updated 4 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆78Updated last week
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 4 years ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆89Updated 3 years ago