Alternatives and similar repositories for idq-bench2:

Users that are interested in idq-bench2 are comparing it to the libraries listed below

• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆28Updated 2 years ago
• daniellustig / coatcheck
  COATCheck
  ☆13Updated 6 years ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• cgvwzq / polca
  Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.
  ☆16Updated 4 years ago
• intel / pinball2elf
  ☆36Updated 2 months ago
• vusec / tlbkit
  some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.
  ☆13Updated 5 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 7 months ago
• bchurchill / pldi19-equivalence-checker
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆40Updated 4 years ago
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• UNCSecLab / hpc
  Hardware performance counter tool for Windows OS
  ☆17Updated 6 years ago
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆60Updated last year
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆20Updated 7 years ago
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• cgvwzq / cachequery
  HW interface for memory caches
  ☆26Updated 4 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆67Updated 3 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• ymanerka / rtlcheck
  RTLCheck
  ☆19Updated 6 years ago
• DependableSystemsLab / pinfi
  PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:
  ☆16Updated 6 years ago
• pfalcon / graph-llvm-ir
  Visualization of LLVM IR
  ☆60Updated 10 years ago
• ymanerka / pipeproof
  PipeProof
  ☆11Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• uwplse / SaltShaker
  Verifying x86 semantics
  ☆10Updated 7 years ago
• cristianassaiante / incomplete-debuginfo
  A framework for finding completeness bugs in optimizing compiler toolchains
  ☆22Updated 11 months ago
• uw-unsat / serval-tutorial-sosp19
  ☆13Updated 5 years ago
• jku-ssw / gcc-builtin-study
  ☆12Updated 5 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• canalcache / canal
  ☆16Updated 5 years ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 3 years ago