Alternatives and similar repositories for rlcheck:

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

• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated this week
• sola-st / SemSeed
  ☆25Updated 3 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆63Updated 3 years ago
• petablox / arbitrar
  User Guided API Misuse Detection
  ☆27Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 6 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 6 months ago
• eth-sri / learch
  ☆40Updated last year
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 3 months ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• stg-tud / MUBench
  ☆55Updated last year
• TruX-DTF / PatchParser
  A tool of collecting patch-related commits and parsing patches.
  ☆13Updated 6 years ago
• vlab-cs-ucsb / ABC
  ☆27Updated 4 months ago
• anlalalu / Q-testing
  ☆22Updated 4 years ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• stan6 / se-paper
  ☆74Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆32Updated last week
• Qi-Pang / MDPFuzz
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆23Updated 2 years ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 4 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆67Updated 3 weeks ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 3 years ago
• RiS3-Lab / FICS
  ☆51Updated 4 years ago
• fengjixuchui / BugDetectionPaper
  Recent Paper About Bug Detection
  ☆30Updated 5 years ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆39Updated 10 months ago
• obastani / glade
  ☆40Updated 4 years ago
• isstac / badger
  ☆20Updated 6 years ago
• parasol-aser / deepsim
  Deep learning code semantic similarity
  ☆60Updated 5 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 2 months ago