chao-peng / CLFuzz

Related projects ⓘ

Alternatives and complementary repositories for CLFuzz

• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• thu-pacman / Spindle
  ☆31Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 10 months ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• gongbell / CUDAsmith
  A CUDA compiler fuzzer
  ☆22Updated last year
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated last year
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆135Updated 3 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 2 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆40Updated 5 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated last month
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆9Updated 7 months ago
• csl-iisc / iGUARD-SOSP21
  ☆19Updated 5 months ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated last year
• nsumner / llvm-dataflow-analysis
  ☆62Updated 5 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 4 years ago
• googleinterns / hw-fuzzing
  ☆78Updated last year
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆43Updated last month
• compsec-snu / difuzz-rtl
  ☆74Updated 5 months ago
• ise-uiuc / nnsmith
  Automatic DNN generation for fuzzing and more
  ☆120Updated 8 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆49Updated last year
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆66Updated 3 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆37Updated this week
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• fivosts / BenchPress
  Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022
  ☆21Updated last year