Alternatives and similar repositories for c_func_name_extract

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

• bin2415 / llvm_CFGPass
  llvm control flow graph
  ☆26Updated 5 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• umnsec / cheq
  CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
  ☆44Updated 5 years ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆78Updated 2 years ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆21Updated 7 years ago
• Dongdongshe / K-Scheduler
  A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
  ☆118Updated 2 years ago
• asw0316 / binshot
  ☆28Updated 2 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆63Updated last year
• unifuzz / unibench
  20 benchmark programs
  ☆47Updated 4 years ago
• mryancai / ConVul
  Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)
  ☆12Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆95Updated last year
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆23Updated 3 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆33Updated 4 years ago
• zer0fall / BENZENE
  BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation
  ☆24Updated last year
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆101Updated 3 weeks ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆37Updated this week
• bda-tool / bda
  BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation
  ☆29Updated 4 years ago
• HongliangLiang / leofuzz
  ☆18Updated 2 years ago
• SVF-tools / SVF-example
  An external project example using SVF as a library
  ☆22Updated last week
• melynx / peekaboo
  An standalone execution trace library built on DynamoRIO.
  ☆22Updated 2 years ago
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆74Updated 2 years ago
• SoftSec-KAIST / Reassessor
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆33Updated 4 months ago
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• ThePatrickStar / fuzzer-data-collector
  ☆26Updated last year
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated last year
• ZJU-SEC / Readings
  ☆61Updated 2 years ago
• s3team / DeepType
  ☆23Updated last month
• SoftSec-KAIST / TikNib
  Binary Code Similarity Analysis (BCSA) Tool
  ☆123Updated 2 weeks ago
• ZHYfeng / Dependency
  ☆23Updated last month