aboutsummaryrefslogtreecommitdiffstats
path: root/prog/validation.go
Commit message (Expand)AuthorAgeFilesLines
* prog: validate transient unionsAleksandr Nogikh2025-06-241-0/+4
* prog: enable debug checking in all testsDmitry Vyukov2024-05-061-2/+7
* prog: fix validation of DataMmapProgDmitry Vyukov2024-05-061-13/+19
* prog: add raw deserialization modeDmitry Vyukov2024-04-291-2/+3
* prog: auto-set proper conditional fields in Deserialize()Aleksandr Nogikh2024-03-131-2/+12
* Revert "prog: auto-set proper conditional fields in Deserialize()"Aleksandr Nogikh2024-03-081-12/+2
* prog: auto-set proper conditional fields in Deserialize()Aleksandr Nogikh2024-03-081-2/+12
* prog: support conditional fieldsAleksandr Nogikh2024-02-191-0/+3
* prog: make validation errors more verboseAleksandr Nogikh2024-02-191-2/+2
* prog: validate call propertiesAleksandr Nogikh2023-11-221-0/+3
* pkg/compiler: support (in) for union fieldsAleksandr Nogikh2023-10-061-0/+3
* prog: preserve inout direction during squashingAleksandr Nogikh2023-09-281-1/+6
* prog: deduce arg direction during validationAleksandr Nogikh2023-09-281-10/+13
* all: use special placeholder for errorsTaras Madan2023-07-241-1/+1
* prog: reject escaping filenames during deserializationDmitry Vyukov2023-02-161-0/+4
* 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