vaibhavbsharma / java-ranger

Related projects ⓘ

Alternatives and complementary repositories for java-ranger

• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated last week
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated last month
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆62Updated 3 years ago
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆20Updated 5 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆72Updated last week
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated 11 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆19Updated 9 months ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• thufv / Deagle
  ☆16Updated this week
• lujiefsi / NPEDetector
  Finding the potential null pointer exception
  ☆28Updated 3 years ago
• eth-sri / learch
  ☆39Updated last year
• isstac / badger
  ☆20Updated 5 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• 95616ARG / pikos_popl2020
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Updated 4 years ago
• grievejia / tpa
  Pointer Analysis with Tunable Precision
  ☆26Updated 8 years ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆30Updated 2 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 3 years ago
• seclab-ucr / UBITect
  ☆38Updated 2 years ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 8 years ago
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 5 years ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• FP-Analysis / atomic-condition
  ☆20Updated 5 years ago
• chenruibuaa / racebench
  Examples for NASAC 2019 interrupt race detection competition
  ☆9Updated 4 years ago