Files in the top-level directory in any check-in
- .gitignore
- collect-values
- collect.c
- collection
- COPYING
- cover.c
- fix-lib.m4
- fix.m4
- helpers.cc
- helpers.hh
- jump.c
- Makefile
- measure-stack.cc
- patch.c
- reach
- README.md
- scout.cc
- sort-inputs
- synth
- synth.py
- synth.zig
- taosc.cc
- trace-call.cc
- Variables.zig
Taosc
Taosc is an automated makeshift patcher for binary programs.
Installation
Taosc depends on AFL++, Dyninst, E9Patch, GNU Findutils, FUZZOLIC and POSIX utilities. To build taosc, you need GNU M4 and a compiler for C++23 and Zig 0.15:
make -j$(nproc)
To install taosc to $prefix, you'll also need install(1p):
make PREFIX=$prefix install
Usage
taosc-fix TIMEOUT WORKDIR PROOFS_OF_CONCEPT EXECUTABLE ARG...
Fix EXECUTABLE, which crashes for PoC(s) in the PROOFS_OF_CONCEPT directory
when it is run with ARG(s), where @@ is the placeholder for input files.
Processes taking more than TIMEOUT seconds to terminate
are treated the same as crashes.
Files in WORKDIR are overwritten without any warning.
Copying
Taosc is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.