| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | csource: fix parallel mode to wait for subprocesses | Dmitry Vyukov | 2017-02-02 | 1 | -1/+3 |
| | | | | | | | Currently it lefts some orphaned children, so that ctrl+C does not kill them. Wait for the children. | ||||
| * | csource: regenerate and reformat | Dmitry Vyukov | 2017-02-01 | 1 | -0/+1 |
| | | |||||
| * | executor: fix tun initialization when sandbox != none | Andrey Konovalov | 2017-01-31 | 1 | -6/+6 |
| | | |||||
| * | csource: use 0x%x format for printing bitfield addr and arg | Andrey Konovalov | 2017-01-23 | 1 | -1/+1 |
| | | |||||
| * | all: spot optimizations | Dmitry Vyukov | 2017-01-20 | 1 | -1/+4 |
| | | | | | | | | | | | | | | A bunch of spot optmizations after cpu/memory profiling: 1. Optimize hot-path coverage comparison in fuzzer. 2. Don't allocate and copy serialized program, serialize directly into shmem. 3. Reduce allocations during parsing of output shmem (encoding/binary sucks). 4. Don't allocate and copy coverage arrays, refer directly to the shmem region (we are not going to mutate them). 5. Don't validate programs outside of tests, validation allocates tons of memory. 6. Replace the choose primitive with simpler switches. Choose allocates fullload of memory (for int, func, and everything the func refers). 7. Other minor optimizations. | ||||
| * | csource: fix STORE_BY_BITMASK in prog2c | Andrey Konovalov | 2017-01-20 | 1 | -1/+1 |
| | | |||||
| * | prog: add bitfields to templates | Andrey Konovalov | 2017-01-17 | 1 | -1/+10 |
| | | | | | | | Now it's possible to use `int32:18` to denote a bitfield of size 18 as a struct field. This fixes #72. | ||||
| * | sys, executor: more kvm improvements | Dmitry Vyukov | 2017-01-12 | 1 | -2/+4 |
| | | | | | | | | 1. Basic support for arm64 kvm testing. 2. Fix compiler warnings in x86 kvm code. 3. Test all pseudo syz calls in csource. 4. Fix handling of real code in x86. | ||||
| * | sys: extend kvm support | Dmitry Vyukov | 2017-01-09 | 1 | -1/+2 |
| | | | | | | | Add new pseudo syscall syz_kvm_setup_cpu that setups VCPU into interesting states for execution. KVM is too difficult to setup otherwise. Lots of improvements possible, but this is a starting point. | ||||
| * | csource: compile with -Werror | Dmitry Vyukov | 2017-01-09 | 1 | -7/+7 |
| | | | | | | | Check for compiler warnings during compilation. Don't require -std=c99. Fix existing compiler warnings. | ||||
| * | csource: fix fork bomb | Dmitry Vyukov | 2017-01-09 | 1 | -0/+1 |
| | | |||||
| * | csource: remove more predefined defines from generated source | Dmitry Vyukov | 2017-01-09 | 1 | -14/+21 |
| | | |||||
| * | executor: don't try to open tun if it's not enabled | Andrey Konovalov | 2016-12-02 | 1 | -3/+8 |
| | | |||||
| * | csourse: emit remove_dir only when needed | Andrey Konovalov | 2016-11-29 | 1 | -2/+2 |
| | | |||||
| * | csourse: fix emitting syz_* syscalls in c reproducer | Andrey Konovalov | 2016-11-29 | 1 | -2/+12 |
| | | |||||
| * | executor: emit ethernet traffic | Andrey Konovalov | 2016-11-29 | 1 | -3/+3 |
| | | |||||
| * | csource: don't emit syz_ syscalls is they are not used | Dmitry Vyukov | 2016-11-26 | 1 | -6/+2 |
| | | |||||
| * | sys: add proc type to denote per proccess integers | Andrey Konovalov | 2016-11-25 | 1 | -1/+1 |
| | | |||||
| * | repro: factor out of syz-repro tool | Dmitry Vyukov | 2016-11-19 | 1 | -16/+96 |
| | | | | | | | | | Factor out repro logic from syz-repro tool, so that it can be used in syz-manager. Also, support sandboxes in code generated by csoure. This is required to reproduce crashes that require e.g. namespace sandbox. | ||||
| * | csource: make collide mode more random | Dmitry Vyukov | 2016-08-28 | 1 | -4/+5 |
| | | | | | Update #59 | ||||
| * | csource: teach how to execute pseudo syz_ syscalls | Dmitry Vyukov | 2016-08-28 | 1 | -13/+17 |
| | | | | | Update #59 | ||||
| * | executor, csource: share some common code between executor and csource | Dmitry Vyukov | 2016-08-28 | 1 | -33/+7 |
| | | |||||
| * | csource: support nonfailing argument copyin/copyout | Dmitry Vyukov | 2016-08-28 | 1 | -8/+36 |
| | | | | | Update #59 | ||||
| * | csource: use dynamic libraries if static are not supported | Dmitry Vyukov | 2016-02-19 | 1 | -1/+5 |
| | | | | | Fixes #20 | ||||
| * | csource: format source with clang-format | Dmitry Vyukov | 2016-01-15 | 1 | -0/+31 |
| | | |||||
| * | sysgen: pull in syscall numbers from kernel headers | Dmitry Vyukov | 2015-12-24 | 1 | -3/+2 |
| | | | | | | | | | Syscall numbers for different architectures are now pulled in from kernel headers. This solves 2 problems: - we don't need to hardcode numbers for new syscalls (that don't present in typical distro headers) - we have correct number for different archs (previously hardcoded numbers were for x86_64) This also makes syscall numbers available for Go code, which can be useful. | ||||
| * | prog: remove padding checking | Dmitry Vyukov | 2015-12-23 | 1 | -7/+0 |
| | | | | | | So far it has found only false positives. Let's leave this to KMSAN. | ||||
| * | fileutil: new package | Dmitry Vyukov | 2015-12-23 | 1 | -15/+0 |
| | | | | | Move some file utilities into a separate package. | ||||
| * | csource: reformat | Dmitry Vyukov | 2015-12-23 | 1 | -14/+13 |
| | | |||||
| * | csource: new package | Dmitry Vyukov | 2015-12-23 | 1 | -0/+233 |
| Move C source generation into a separate package. Prog is too bloated already. | |||||
 |
index : syz | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiffstats |