aboutsummaryrefslogtreecommitdiffstats
path: root/prog/validation.go
Commit message (Expand)AuthorAgeFilesLines
* pkg, prog: add per-field direction attributeNecip Fazil Yildiran2020-08-131-3/+3
* prog: support disabled attributeDmitry Vyukov2020-05-041-0/+3
* prog: introduce Field typeDmitry Vyukov2020-05-021-13/+6
* prog: rename {PtrType,ArrayType}.Type to ElemDmitry Vyukov2020-05-011-2/+2
* prog: remove Dir from TypeDmitry Vyukov2020-05-011-15/+19
* prog: fix a bunch of bugs in parsingDmitry Vyukov2019-03-291-1/+5
* prog: add Prog.FinalizeDmitry Vyukov2018-12-061-4/+0
* tools/syz-trace2syz: add tool to convert strace output to programsshankarapailoor2018-12-061-0/+4
* prog: allow escaping paths but don't generate themDmitry Vyukov2018-11-021-11/+0
* prog: add concept of "special pointers"Dmitry Vyukov2018-08-301-11/+14
* prog: strenghten type checking during validationDmitry Vyukov2018-08-021-18/+23
* prog: introduce debugValidateDmitry Vyukov2018-08-021-0/+8
* prog: refactor defaultArg/isDefaultArgDmitry Vyukov2018-08-021-10/+5
* prog: refactor MinimizeDmitry Vyukov2018-07-311-5/+4
* prog: sanitize calls after hints mutationDmitry Vyukov2018-07-121-1/+5
* prog: fix pointer validationDmitry Vyukov2018-07-081-9/+9
* prog: don't generate filenames that escape sandboxDmitry Vyukov2018-07-081-0/+11
* prog: rework validation codeDmitry Vyukov2018-05-051-241/+169
* prog: make c.Ret optionalDmitry Vyukov2018-05-051-13/+19
* prog: simplify codeDmitry Vyukov2018-05-051-8/+6
* prog: remove ReturnArgDmitry Vyukov2018-05-051-13/+5
* gometalinter: enable cyclomatic complexity checkingDmitry Vyukov2018-05-041-251/+250
* gometalinter: enable line length checkingDmitry Vyukov2018-05-041-26/+52
* all: fix gometalinter warningsDmitry Vyukov2018-03-081-2/+2
* prog: rework address allocationDmitry Vyukov2018-02-191-6/+17
* prog: don't serialize default argumentsDmitry Vyukov2018-02-011-1/+2
* prog: remove unused UnionArg.OptionTypeDmitry Vyukov2018-01-271-1/+1
* prog: support opt for proc typesDmitry Vyukov2018-01-061-1/+1
* prog: minor refactoring around argumentsDmitry Vyukov2017-12-171-3/+5
* prog: don't serialize output data argsDmitry Vyukov2017-12-171-9/+7
* prog: repair arrays/buffers with incorrect size in DeserializeDmitry Vyukov2017-11-281-1/+15
* prog, sys: move types to progDmitry Vyukov2017-09-051-2/+0
* prog: dot-import sysDmitry Vyukov2017-09-051-26/+26
* sys, pkg/compiler: move padding computation to compilerDmitry Vyukov2017-09-041-3/+4
* pkg/compiler: check and generate typesDmitry Vyukov2017-09-021-1/+2
* sys, prog: switch values to to uint64Dmitry Vyukov2017-08-191-1/+1
* prog: split Arg into smaller structsAndrey Konovalov2017-07-171-108/+140
* prog: extend output on validation errorDmitry Vyukov2017-06-061-1/+1
* prog: better validate int and buffer typesAndrey Konovalov2017-05-261-0/+16
* prog: fix cheking nonoptional nil pointers in validationAndrey Konovalov2017-02-091-48/+43
* prog, sys: add csum type, embed checksums for ipv4 packetsAndrey Konovalov2017-01-251-1/+5
* prog: validate deserialized programsDmitry Vyukov2017-01-241-3/+0
* prog: add FieldName to TypeAndrey Konovalov2017-01-231-0/+3
* all: spot optimizationsDmitry Vyukov2017-01-201-0/+5
* prog: mutate sized strings with respect to sizeAndrey Konovalov2017-01-181-0/+7
* sys: add proc type to denote per proccess integersAndrey Konovalov2016-11-251-1/+5
* prog: minimize based on individual argsAndrey Konovalov2016-11-251-3/+3
* prog: fix pointer direction validationDmitry Vyukov2016-11-241-1/+1
* prog: better validate arg dataAndrey Konovalov2016-11-221-0/+6
* prog: fix validation of len argumentsDmitry Vyukov2016-11-121-1/+6