bajinsheng / bibtidy

Related projects ⓘ

Alternatives and complementary repositories for bibtidy

• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆41Updated 4 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• dsfuzz / mallory
  Greybox Fuzzing of Distributed Systems (CCS'23)
  ☆40Updated 11 months ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆20Updated last month
• eth-sri / learch
  ☆39Updated last year
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆57Updated 2 weeks ago
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated 8 months ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆31Updated last week
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆30Updated last month
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆50Updated 3 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆58Updated last week
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• BugSwarm / bugswarm
  ☆31Updated this week
• runtimeverification / javamop
  Runtime verification system for Java, using AspectJ for instrumentation.
  ☆45Updated last year
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆42Updated last month
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 2 months ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 2 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆22Updated last month
• sola-st / SemSeed
  ☆25Updated 3 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 6 years ago
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• hub-se / BeDivFuzz
  ☆13Updated this week
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 4 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆13Updated 9 months ago
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆37Updated 8 months ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆45Updated 3 years ago
• isstac / badger
  ☆20Updated 5 years ago