aboutsummaryrefslogtreecommitdiffstats
path: root/prog/analysis.go
Commit message (Expand)AuthorAgeFilesLines
* pkg/compiler: add out_overlay field attributeDmitry Vyukov2022-01-111-3/+10
* all: replace collide mode by `async` call propertyAleksandr Nogikh2021-12-101-12/+17
* all: refactor fault injection into call propsAleksandr Nogikh2021-09-221-0/+9
* prog: increase max number of syscallsDmitry Vyukov2021-07-221-6/+13
* all: fix comments formatDmitry Vyukov2020-07-121-5/+5
* prog: speed up foreachArgImplDmitry Vyukov2020-05-181-4/+6
* prog: introduce Field typeDmitry Vyukov2020-05-021-1/+4
* prog: remove Dir from TypeDmitry Vyukov2020-05-011-2/+2
* prog: add ignore_return and breaks_returns call attribtuesDmitry Vyukov2020-04-191-6/+1
* prog: don't add fallback coverage after clone+ptraceDmitry Vyukov2020-01-151-5/+8
* prog: don't add fallback coverage after prctlDmitry Vyukov2020-01-151-2/+3
* prog: refactor bitfields representationDmitry Vyukov2019-12-191-5/+3
* prog: add implementation for resource centricVeronica Radu2019-09-031-3/+5
* prog: fix a bunch of bugs in parsingDmitry Vyukov2019-03-291-1/+1
* prog: prevent sandbox escaping files from entering s.filesGreg Steuck2018-11-271-1/+1
* prog: add concept of "special pointers"Dmitry Vyukov2018-08-301-2/+2
* prog: don't add fallback signal after seccompDmitry Vyukov2018-08-191-43/+52
* executor: collect coverage from unfinished syscallsDmitry Vyukov2018-07-291-10/+23
* prog: fix and improve fallback coverageDmitry Vyukov2018-06-301-19/+27
* prog: add stronger fallback signalDmitry Vyukov2018-06-291-0/+105
* prog: simplify codeDmitry Vyukov2018-05-051-3/+4
* pkg/compiler: support non-zero terminated filenamesDmitry Vyukov2018-04-021-0/+7
* pkg/compiler: allow specifying static size for filename'sDmitry Vyukov2018-03-051-2/+7
* prog: fix address analysisDmitry Vyukov2018-02-261-3/+8
* prog: add arbitrary mutation of complex structsDmitry Vyukov2018-02-251-2/+2
* pkg/compiler: fix alignment corner caseDmitry Vyukov2018-02-251-2/+4
* prog: rework address allocationDmitry Vyukov2018-02-191-15/+14
* prog: combine RequiresBitmasks and RequiresChecksums into RequiredFeaturesDmitry Vyukov2018-02-191-16/+4
* prog: merge foreachSubargOffset into foreachArgImplDmitry Vyukov2018-02-191-32/+11
* prog: rework foreachArgDmitry Vyukov2018-02-191-34/+40
* sys/linux: extend netfilter descriptionsDmitry Vyukov2018-01-271-1/+1
* prog: don't serialize output data argsDmitry Vyukov2017-12-171-3/+3
* prog: remove default target and all global stateDmitry Vyukov2017-09-151-3/+5
* prog, sys: move types to progDmitry Vyukov2017-09-051-117/+7
* prog: dot-import sysDmitry Vyukov2017-09-051-26/+26
* sys: change BitfieldLast to BitfieldMiddleDmitry Vyukov2017-09-041-1/+1
* sys, pkg/compiler: move padding computation to compilerDmitry Vyukov2017-09-041-2/+2
* sys, prog: switch values to to uint64Dmitry Vyukov2017-08-191-7/+7
* prog: split Arg into smaller structsAndrey Konovalov2017-07-171-83/+83
* repro: always minimize over EnableTunAndrey Konovalov2017-06-121-12/+12
* csource: force enable tun flag when requiredAndrey Konovalov2017-06-121-0/+26
* prog, executor: move checksum computation to executorAndrey Konovalov2017-05-121-0/+2
* prog: fix mknod sanitizationDmitry Vyukov2017-02-141-3/+14
* prog, sys: add csum type, embed checksums for ipv4 packetsAndrey Konovalov2017-01-251-0/+30
* prog: move size-related functions to size.goAndrey Konovalov2017-01-251-96/+0
* sys, prog: add length of parent of parent to templatesAndrey Konovalov2017-01-231-15/+39
* prog: add FieldName to TypeAndrey Konovalov2017-01-231-2/+2
* prog: fix bytesizeN for nonarray fieldsAndrey Konovalov2017-01-191-1/+8
* prog: fix calculating parent length in struct with bitfieldsAndrey Konovalov2017-01-191-1/+3
* prog: reformat sourceDmitry Vyukov2017-01-091-1/+1
generated by ggit (джигит) mrf-deployment (git 2.46.0) at 2026-03-19 03:36:09 +0000