aboutsummaryrefslogtreecommitdiffstats
path: root/prog/validation.go
Commit message (Expand)AuthorAgeFilesLines
* 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
* sys: replace FilenameType with BufferType{Kind: BufferFilename}Dmitry Vyukov2016-11-111-6/+0
* prog: assign types to args during constructionDmitry Vyukov2016-11-111-7/+4
* sys: attach Dir to all typesDmitry Vyukov2016-11-111-5/+5
* sys: always use pointers to typesDmitry Vyukov2016-11-111-5/+5
* Fix validate, detect nil non-optional pointerAndrey Konovalov2016-10-111-0/+3
* Refactor & improve len type handlingAndrey Konovalov2016-10-111-0/+6
* prog: more checks during program validationDmitry Vyukov2016-09-051-0/+12
* sys: support recursive structsDmitry Vyukov2016-09-051-2/+2
* sys: add union typeDmitry Vyukov2015-12-291-1/+19
* prog: don't serialize paddingsDmitry Vyukov2015-12-281-6/+3
* sys: add support for PF_ALGDmitry Vyukov2015-12-171-1/+6
* initial commitDmitry Vyukov2015-10-121-0/+168