magsilva / proteum

Related projects ⓘ

Alternatives and complementary repositories for proteum

• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆72Updated last week
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 4 years ago
• tomgu1991 / IMChecker
  An automatic API misuse checker for C programs!
  ☆19Updated 5 years ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 8 years ago
• arichardson / juliet-test-suite-c
  ☆75Updated last year
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆20Updated 6 years ago
• prosyslab / DAFL-artifact
  ☆36Updated 3 weeks ago
• tingsu / DroidDefects
  A database of crash (exception) bugs for Android apps
  ☆20Updated 10 months ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆62Updated 3 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• stg-tud / MUBench
  ☆55Updated 11 months ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆97Updated 2 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆14Updated 8 years ago
• setting-defect-fuzzing / home
  ☆35Updated 10 months ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 4 months ago
• kaled-alshmrany / FuSeBMC
  FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…
  ☆46Updated 7 months ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• eth-sri / learch
  ☆39Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆43Updated 5 years ago
• GZoltar / gzoltar
  GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
  ☆77Updated 3 months ago
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated 2 months ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆29Updated 2 years ago
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 8 years ago