CordyJ / OpenTxl

Related projects ⓘ

Alternatives and complementary repositories for OpenTxl

• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆26Updated 2 years ago
• CordyJ / Open-NiCad
  NiCad Clone Detector
  ☆12Updated last month
• libfirm / firm-testsuite
  libFirm regression testsuite
  ☆17Updated 4 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 2 years ago
• srcML / srcML
  srcML Toolkit
  ☆118Updated this week
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• skivm / ski
  SKI virtual machine for testing concurrency bugs
  ☆11Updated 8 years ago
• cwbaker / lalr
  LALR(1) parser for C++
  ☆78Updated 4 months ago
• gousiosg / AegeanC
  The Aegean C compiler
  ☆9Updated 8 years ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆30Updated last year
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 4 months ago
• dspinellis / cqmetrics
  C Quality Metrics
  ☆64Updated 2 years ago
• mthom / managed-ctrie
  Garbage collected concurrent hash tries.
  ☆19Updated 7 years ago
• joewhaley / joeq
  ☆10Updated 8 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• amannougrahiya / imop-compiler
  IIT Madras OpenMP (IMOP) compiler framework is an open-source, source-to-source, OpenMP-aware compiler for OpenMP (and serial) C programs…
  ☆20Updated last month
• dspinellis / tokenizer
  Convert source code into numerical tokens
  ☆64Updated last year
• s3cur3 / llvm-data-structure-benchmarks
  A benchmark for cache efficient data structures.
  ☆29Updated 5 years ago
• Amocy-Wang / ProbDD
  Here is the replication of the paper Probabilistic Delta Debugging, which has been accepted by ESEC/FSE 2021. More details can be found i…
  ☆15Updated 3 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆134Updated 6 years ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆215Updated last week
• google / llvm-premerge-checks
  CI system for premerge-testing in LLVM project
  ☆41Updated last month
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆21Updated 2 weeks ago
• squaresLab / genprog-code
  GenProg: heuristic, GP-based automatic program repair for C.
  ☆92Updated 3 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆101Updated 2 years ago
• h2o / yoml
  YAML Object Model Layer - a DOM-like interface for YAML
  ☆40Updated 6 months ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆46Updated last month
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆56Updated 11 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆20Updated last month