Alternatives and similar repositories for ArgusDebugger:

Users that are interested in ArgusDebugger are comparing it to the libraries listed below

• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• bakhi / GPUReplay
  GPUReplay, ASPLOS 2022
  ☆33Updated 2 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆23Updated 3 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆37Updated 9 years ago
• DependableSystemsLab / LLFI
  LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…
  ☆70Updated 2 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago
• mshockwave / generator-llvm
  Generate project templates for executables that use LLVM and LLVM passes
  ☆52Updated 2 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆31Updated 5 years ago
• bwickman97 / ffmalloc
  ☆49Updated 2 years ago
• lihebi / LLVMCallGraph
  LLVM Call Graph
  ☆27Updated 3 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆75Updated 3 years ago
• thu-pacman / Spindle
  ☆31Updated last year
• SamAinsworth / MarkUs-sp2020
  Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…
  ☆14Updated 3 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 4 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆52Updated last month
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 4 years ago
• vusec / dangzero
  ☆16Updated last year
• PLSysSec / swivel
  ☆16Updated last year
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆28Updated 5 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆27Updated last year
• GaloisInc / cclyzerpp
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆138Updated 6 months ago
• securesystemslab / PKRU-Safe
  ☆19Updated 2 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated 9 months ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 2 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆53Updated 3 years ago