ispras / proceedings
Proceedings of ISP RAS LaTeX Template
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for proceedings
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- ☆38Updated last week
- Library for manipulating gdb in batch mode☆20Updated 8 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆132Updated this week
- Sydr benchmark applications☆16Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- The Chef symbolic execution platform, based off S2E☆13Updated 2 years ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆24Updated 4 years ago
- ☆50Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- Lua C API tests☆11Updated 3 weeks ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- A framework for finding completeness bugs in optimizing compiler toolchains☆21Updated 8 months ago
- Piecewise debloating toolchain☆13Updated 4 years ago
- Concolic analysis tool for Java☆21Updated last year
- Home page for this github organization☆22Updated 6 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 6 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆162Updated 5 months ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆72Updated last week
- tools for CI fuzzing automation☆28Updated this week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- 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
- Static Slicer for LLVM☆65Updated 8 years ago
- Grammar synthesis algorithm using a black box oracle☆36Updated 6 months ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 4 years ago
- ☆31Updated last week
- The ISLa (Input Specification Language) language & solver.☆62Updated 4 months ago
- This repository contains several examples of logic bomb.☆96Updated 10 months ago