Alternatives and similar repositories for gcc-builtin-study

Users that are interested in gcc-builtin-study are comparing it to the libraries listed below

• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• dcdelia / tinyvm

  View on GitHub
  A simple VM to play with OSR in LLVM
  ☆15Jun 11, 2017Updated 8 years ago
• fabric8-analytics / cvejob

  View on GitHub
  A tool which tries to map CVEs from NVD to packages in supported ecosystems (Maven, NPM, PyPI).
  ☆12Jul 12, 2025Updated 7 months ago
• BinSigma / BinComp

  View on GitHub
  Compiler Fingerprinting
  ☆14Apr 24, 2015Updated 10 years ago
• FAU-Inf2 / StarSmith

  View on GitHub
  This repository accompanies the research paper "P. Kreutzer, S. Kraus, M. Philippsen: Language-Agnostic Generation of Compilable Test Pro…
  ☆12Jul 8, 2022Updated 3 years ago
• andreafioraldi / ConstrainedMemorySanitizer

  View on GitHub
  ☆15May 6, 2021Updated 4 years ago
• FP-Analysis / atomic-condition

  View on GitHub
  ☆21Nov 10, 2019Updated 6 years ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• mhirki / idq-bench2

  View on GitHub
  Instruction decoder microbenchmark suite
  ☆11Oct 31, 2017Updated 8 years ago
• jonamuen / sql-reduce

  View on GitHub
  A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener
  ☆16Oct 15, 2024Updated last year
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 6 years ago
• BinaryAnalysisPlatform / bap-veri

  View on GitHub
  bil verification tool
  ☆12Jun 30, 2022Updated 3 years ago
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 7 years ago
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 5 years ago
• funemy / SWORD

  View on GitHub
  SWORD: A Whole Program Race Detector for Java
  ☆13Jan 30, 2021Updated 5 years ago
• wisk / fw2elf

  View on GitHub
  Convert a raw firmware image to an ELF file.
  ☆13Feb 6, 2019Updated 7 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• sqlancer / bugs

  View on GitHub
  A list of bugs found by SQLancer
  ☆17Jan 30, 2024Updated 2 years ago
• Android-Framework-Symbolic-Executor / Centaur

  View on GitHub
  Symbolic Execution of Android Framework
  ☆15Jun 25, 2017Updated 8 years ago
• squaresLab / SemanticCrashBucketing

  View on GitHub
  Semantic Crash Bucketing
  ☆16Sep 8, 2020Updated 5 years ago
• mc-imperial / multicore-test-harness

  View on GitHub
  A multicore microprocessor test harness for measuring interference
  ☆14Apr 16, 2020Updated 5 years ago
• uw-unsat / serval-sosp19

  View on GitHub
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Sep 11, 2019Updated 6 years ago
• yabberyabber / funqual

  View on GitHub
  User defined static call-tree constraints in C++. This is the implementation of the tool for my masters thesis.
  ☆14Sep 25, 2018Updated 7 years ago
• revng / qemu

  View on GitHub
  Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
  ☆16Dec 22, 2025Updated last month
• stanford-oval / genie-parser

  View on GitHub
  Neural Network Semantic Parser for Almond
  ☆15Apr 11, 2019Updated 6 years ago
• test-pipeline / orthrus

  View on GitHub
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆63Oct 19, 2017Updated 8 years ago
• wangdeze18 / Multilingual-Adapter-for-SE

  View on GitHub
  ☆17Dec 9, 2022Updated 3 years ago
• HexHive / HexVASAN

  View on GitHub
  ☆17Apr 18, 2019Updated 6 years ago
• ozelfatih / Vulmap-Linux

  View on GitHub
  Host-based vulnerability scanner. Find installed packages on the host, ask their vulnerabilities to vulmon.com API and print vulnerabilit…
  ☆16Apr 20, 2019Updated 6 years ago
• dslab-epfl / tpot

  View on GitHub
  Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
  ☆24May 7, 2025Updated 9 months ago
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• kupl / ParaDySE

  View on GitHub
  ☆33Oct 15, 2018Updated 7 years ago
• junxzm1990 / pomp

  View on GitHub
  ☆55Mar 30, 2020Updated 5 years ago
• hephaestus-compiler-project / thalia

  View on GitHub
  A framework for testing compilers' type checkers
  ☆19Nov 15, 2024Updated last year
• avatartwo / avatar-qemu

  View on GitHub
  QEmu backend for avatar²
  ☆22Mar 29, 2025Updated 10 months ago
• secure-software-engineering / sootdiff

  View on GitHub
  SootDiff - Bytecode Comparison Across Different Java Compilers
  ☆18May 24, 2024Updated last year
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• ash09 / angr-static-analysis-for-vuzzer64

  View on GitHub
  Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool
  ☆22Aug 3, 2020Updated 5 years ago