cromulencellc / chess-aces

Related projects: ⓘ

• bajinsheng / ReZZan
  ☆37Updated last year
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆54Updated 5 years ago
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆28Updated 3 years ago
• AFLplusplus / fuzzer-challenges
  Challenging testcases for fuzzers
  ☆64Updated 6 months ago
• guidovranken / fuzzing-corpora-directory
  ☆32Updated this week
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• sslab-gatech / perf-fuzz
  ☆94Updated 5 years ago
• vusec / triereme
  ☆14Updated last year
• vandaltool / vandalir
  ☆22Updated last year
• GrammaTech / cgc-cbs
  Challenge binaries (CBs) and tools from DARPA's Cyber Grand Challenge (CGC)
  ☆16Updated 2 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated last year
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆97Updated 2 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆116Updated last month
• n132 / ARVO-Meta
  ☆28Updated last week
• kudu-dynamics / blaze
  A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…
  ☆43Updated 7 months ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆84Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆73Updated last year
• junxzm1990 / afl-pt
  ☆50Updated 5 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆41Updated last year
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated 3 months ago
• gryan11 / PGA
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Updated 3 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆47Updated 2 months ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆57Updated last year
• HexHive / fuzzing-seed-selection
  "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)
  ☆41Updated last year
• seclab-ucr / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.
  ☆22Updated 2 years ago
• seclab-ucr / UBITect
  ☆38Updated last year