ligurio / lua-c-api-tests
Lua C API tests
☆11Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for lua-c-api-tests
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆14Updated last month
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆132Updated this week
- Greybox Fuzzing of Distributed Systems (CCS'23)☆40Updated 11 months ago
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- A coverage-guided, native Lua fuzzing engine.☆38Updated 3 weeks ago
- Sydr benchmark applications☆16Updated 2 years ago
- Proceedings of ISP RAS LaTeX Template☆11Updated 4 years ago
- Library for manipulating gdb in batch mode☆20Updated 8 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- llvm crash analysis☆41Updated 4 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆135Updated this week
- A framework for finding completeness bugs in optimizing compiler toolchains☆21Updated 8 months ago
- ☆38Updated last week
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆9Updated last year
- Simple grammar-based test case generator☆30Updated 6 months ago
- AoT is a system for automatically generating off-target test harness by using build information.☆37Updated last month
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- ☆24Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- A CallGraph Generation LLVM Pass for C and C++ program☆21Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆36Updated last year
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆38Updated 8 months ago
- tools for CI fuzzing automation☆28Updated this week
- Fast and effective grammar-based fuzzing based on Gramatron☆13Updated this week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆52Updated 7 months ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- ☆256Updated last year
- ☆26Updated last year