yuedeji / c_func_name_extract
Extract Function Name in C/C++ Source Codes
☆25Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for c_func_name_extract
- Program dependence graph in LLVM☆34Updated 4 months ago
- Learning and Teaching Software Analysis and Verification via SVF☆22Updated 6 months ago
- A use-after-free checker based on SVF.☆20Updated 6 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆113Updated last year
- llvm control flow graph☆26Updated 5 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆85Updated 7 months ago
- ☆24Updated last year
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆73Updated last year
- Recent Paper About Bug Detection☆30Updated 5 years ago
- ☆44Updated 2 years ago
- ☆33Updated 2 years ago
- 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
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆31Updated last month
- seed files used in UNIFUZZ experiments☆10Updated 3 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- 20 benchmark programs☆45Updated 3 years ago
- Official code of jTrans: Jump-Aware Transformer for Binary Code Similarity Detection☆136Updated 10 months ago
- This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020☆58Updated last year
- K-Miner☆72Updated 5 years ago
- StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing☆92Updated last year
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆63Updated last month
- ☆90Updated 2 weeks ago
- ☆50Updated 3 years ago
- ☆21Updated 6 months ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- ☆25Updated last year
- B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder …☆54Updated 5 years ago
- Detect missing check bugs in OS kernels☆107Updated last year