aboutsummaryrefslogtreecommitdiffstats
path: root/prog
Commit message (Expand)AuthorAgeFilesLines
* prog: add more integers for generatorPalash Oswal2022-02-241-0/+2
* prog: refactor generation of resourcesDmitry Vyukov2022-01-114-94/+140
* prog: rename a test fileDmitry Vyukov2022-01-111-0/+0
* prog: require stricter resource constructorsDmitry Vyukov2022-01-111-0/+6
* prog: support prunning recursion in ForeachTypeDmitry Vyukov2022-01-111-2/+10
* prog: pass ctx by pointer to ForeachType callbackDmitry Vyukov2022-01-117-17/+17
* prog: make panic message more usefulDmitry Vyukov2022-01-111-2/+2
* prog: fix call selection in rotation logicDmitry Vyukov2022-01-111-3/+3
* pkg/compiler: add out_overlay field attributeDmitry Vyukov2022-01-115-30/+52
* prog: error if program variable refers to non-resourceDmitry Vyukov2022-01-111-0/+2
* pkg/testutil: add packageDmitry Vyukov2021-12-217-25/+17
* all: add the `DoubleExecCollide` strategyAleksandr Nogikh2021-12-103-10/+112
* all: add the `rerun` call propertyAleksandr Nogikh2021-12-106-9/+62
* all: replace collide mode by `async` call propertyAleksandr Nogikh2021-12-1012-21/+245
* sys/linux: add descriptions of epoll_pwait2 syscallDmitry Vyukov2021-10-211-3/+4
* prog/decodeexec.go: properly handle call props before no-copyin callsAleksandr Nogikh2021-10-072-1/+11
* pkg/csource: remove calls instead of skipping themAleksandr Nogikh2021-10-015-9/+9
* prog: don't use reflect.Value.IsZeroDmitry Vyukov2021-09-301-1/+2
* all: refactor fault injection into call propsAleksandr Nogikh2021-09-2211-267/+277
* all: introduce call propertiesAleksandr Nogikh2021-09-227-170/+424
* all: introduce a prog.Call constructorAleksandr Nogikh2021-09-223-9/+11
* prog: increase max number of syscallsDmitry Vyukov2021-07-222-6/+14
* pkg: update generated files to go 1.17Alexey Kardashevskiy2021-07-074-0/+4
* syz-manager, syz-fuzzer: filter stale glob values in the corpusDmitry Vyukov2021-06-262-2/+3
* all: minor glob fixesDmitry Vyukov2021-05-261-7/+6
* pkg/compiler: add glob typeJoey Jiaojg2021-05-267-3/+37
* pkg/host: fail loudly when coverage collection is enable w/o shmemPatrick Meyer2021-05-201-8/+9
* prog: extend TestEnabledCalls testDmitry Vyukov2021-05-101-3/+10
* pkg/compiler: optimize array[const] representationDmitry Vyukov2021-04-212-6/+14
* prog: detect copyout overflowDmitry Vyukov2021-03-042-1/+70
* prog: fix oob panic in rotatorState.SelectDmitry Vyukov2021-01-052-0/+16
* prog: make priority calculation fasterDmitry Vyukov2021-01-052-81/+49
* all: fix format of fmt.Printf/Fprintf callsDmitry Vyukov2020-11-301-1/+1
* pkg/ifuzz: invert ifuzz and ifuzzimplDmitry Vyukov2020-11-211-7/+4
* pkg/ifuzz/powerpc: add powerpc supportAlexey Kardashevskiy2020-11-202-1/+9
* pkg/ifuzz: reorganize files to allow other architecturesAlexey Kardashevskiy2020-11-201-5/+12
* prog: add safety check in randGen.flagsDmitry Vyukov2020-11-131-1/+3
* sys/targets: add OS/Arch name constsDmitry Vyukov2020-10-261-1/+2
* prog: drop semicolons in 'go build' output to not confuse vimAlexey Kardashevskiy2020-10-261-1/+1
* prog: reduce size of tests in race modeDmitry Vyukov2020-10-013-0/+17
* syz-fuzzer: ignore encodingexec buffer overflow errorsDmitry Vyukov2020-10-011-1/+4
* prog: don't run mutation tests in race modeDmitry Vyukov2020-09-281-0/+3
* prog: allow arbitrary long lines in serialized programsDmitry Vyukov2020-09-201-21/+23
* prog: extend error message on deserialization errorDmitry Vyukov2020-09-201-1/+1
* prog: add missing \n in printfDmitry Vyukov2020-09-161-1/+1
* prog: prune recursion for resourceCentric/createResourceDmitry Vyukov2020-08-231-20/+22
* prog: fix UnionType mutation for when per-field dir is specifiedNecip Fazil Yildiran2020-08-141-2/+2
* pkg, prog: add per-field direction attributeNecip Fazil Yildiran2020-08-134-19/+32
* sys/linux: enhanced descs for io_uringNecip Fazil Yildiran2020-07-241-4/+5
* prog: more interations in prio testAndrey Konovalov2020-07-211-1/+1