aboutsummaryrefslogtreecommitdiffstats
path: root/executor/defs.h
Commit message (Collapse)AuthorAgeFilesLines
...
* sys/linux: add NFNL_SUBSYS_CTHELPER/NFNL_SUBSYS_CTNETLINK_EXP descriptionsDmitry Vyukov2020-01-051-6/+6
|
* prog: fix tests for string enforcementDmitry Vyukov2020-01-051-7/+7
| | | | | | | | String value enforcement broke a number of tests where we use different values. Be more string as to what string values we use in tests. Required to add tmpfs descriptions to test syz_mount_image. Also special-casing AF_ALG algorithms as these are auto-generated.
* sys/linux: add AF_NETLINK/NETLINK_NETFILTER/NFNL_SUBSYS_CTNETLINK descriptionsDmitry Vyukov2020-01-051-6/+6
|
* prog: don't mutate strings with enumerated valuesDmitry Vyukov2020-01-051-1/+1
| | | | | | | | | | Strings with enumerated values are frequently file names or have complete enumeration of relevant values. Mutating complete enumeration if not very profitable. Mutating file names leads to escaping paths and fuzzer messing with things it is not supposed to mess with as in: r0 = openat$apparmor_task_exec(0xffffffffffffff9c, &(0x7f0000000440)='/proc/self//exe\x00', 0x3, 0x0)
* sys/linux: add vlan/macvlan/ipvlan/mactap device policiesDmitry Vyukov2020-01-031-6/+6
|
* executor: setup vlan/macvlan/ipvlan devicesDmitry Vyukov2020-01-031-6/+6
|
* sys/linux: add basic AF_PHONET descriptionsDmitry Vyukov2020-01-031-6/+6
|
* sys/linux: add minimal AFS descriptionsDmitry Vyukov2020-01-031-6/+6
|
* sys/linux: add 80211 descriptionsDmitry Vyukov2020-01-031-6/+6
|
* sys/linux: fix SIOCGIFINDEXDmitry Vyukov2020-01-031-6/+6
| | | | | | | Mark ifindex as opt in SIOCGIFINDEX. Otherwise it's considered inout and SIOCGIFINDEX can't be used to produce ifindex'es on its own. It requires an input ifindex first and only then it can output own ifindex.
* executor: connect virt_wifi to vethDmitry Vyukov2020-01-031-6/+6
| | | | | | virt_wifi docs say that the enslaved device won't be usable on itself. It's probably not a good idea to make lo unusable. Enslave a dedicated veth instead.
* sys/linux: add netlabel descriptionsDmitry Vyukov2020-01-031-6/+6
|
* sys/linux: improve ipv4/ipv6 vnet descriptionsDmitry Vyukov2020-01-031-6/+6
| | | | | | | | | | | | 1. Use optional[T] instead of array[T, 0:1]. 2. Deduplicate 3 copies of ARP packet. 3. Deduplicate IPOPT_LSRR/IPOPT_SSRR/IPOPT_RR. 4. More precise description of IPOPT_TIMESTAMP/IPOPT_LSRR/IPOPT_SSRR/IPOPT_RR. 5. Don't use IPOPT_END/IPOPT_NOOP in generic option (they have different format). 6. Restrict cipso doi values. 7. Fix IPOPT_RA value type (int16 instead of int32). 8. Match ipv4/ipv6 packet type with payload. 9. Prefer 0 frag_off for ipv4 packets (they are extremely hard to get right).
* sys/linux: add IPPROTO_L2TP descriptionsDmitry Vyukov2019-12-311-6/+6
|
* sys/linux: add virt_wifi and xfrm devicesDmitry Vyukov2019-12-301-6/+6
| | | | + some netlink descriptions
* sys/linux: add {MSG,SEM,SHM}_STAT_ANYDmitry Vyukov2019-12-301-6/+6
|
* sys/linux: fix 32-bit warningsDmitry Vyukov2019-12-231-6/+6
| | | | | | | Lots of interesting findings... Especially 2 byte uid/gid/pid. Update #590
* sys/linux: fix int64 alignment on 386Dmitry Vyukov2019-12-231-3/+3
| | | | | | | | | Turns out int64 alignment is 4 on 386... But on arm it's still 8. Another amusing finding thanks to syz-check. Update #590
* sys/linux: fix warnings in template definitionDmitry Vyukov2019-12-221-6/+6
| | | | Update #590
* tools/syz-check: check templatesDmitry Vyukov2019-12-221-6/+6
| | | | | | Also rename some netfilter types to eliminate massive amounts of template warnings. Update #590
* sys/linux: fix warning in dev_video4linux.txtDmitry Vyukov2019-12-221-5/+5
| | | | Update #590
* sys/linux: another batch of warning fixesDmitry Vyukov2019-12-221-6/+6
| | | | | | The only remaining part now is dev_video4linux.txt Update #590
* prog: don't fail decoding on non-default out argsDmitry Vyukov2019-12-211-1/+1
| | | | | | | We get them in cross-compilation test where an out const arg has different values in different archs. No reason to fail deserialization in that case, replace with default arg instead.
* sys/linux: fix 240 warnings in descriptionsDmitry Vyukov2019-12-201-6/+6
| | | | | | Sweeping fix of everything up to socket_netlink_route.txt. Update #590
* pkg/compiler: fix bitfield layout bugDmitry Vyukov2019-12-201-10/+10
| | | | | | Fixes #1542 Found thanks to syz-check. Update #590
* pkg/compiler: fix alignment of string-formatted valuesDmitry Vyukov2019-12-201-6/+6
| | | | | | We used size as alignment, this is very wrong. Found thanks to syz-check. Update #590
* sys/test: and another set of bitfield testsDmitry Vyukov2019-12-201-4/+4
| | | | | | Just trying to get my head around it (and fix this in tests). Update #1542
* sys/test: and another bitfield testDmitry Vyukov2019-12-191-4/+4
| | | | | | Just trying to get my head around it (and fix this in tests). Update #1542
* prog: refactor bitfields representationDmitry Vyukov2019-12-191-12/+12
| | | | | | | | All callers of BitfieldMiddle just want static size (0 for middle). Make it so: Size for middle bitfields just returns 0. Removes lots of if's. Introduce Type.UnitSize, which now holds the underlying type for bitfields. This will be needed to fix #1542 b/c even if UnitSize=4 for last bitfield Size can be anywhere from 0 to 4 (not necessary equal to UnitSize due to overlapping).
* sys/test: add few other tests for tricky bitfieldsDmitry Vyukov2019-12-181-4/+4
| | | | Update #1542
* pkg/compiler: fix incorrect alignment calculation for paddingDmitry Vyukov2019-12-181-6/+6
| | | | | | | | | | | | | | We assumed that for ConstType alignment is equal to size, which is perfectly reasonable for normal int8/16/32/64/ptr. However, padding is also represented by ConstType of arbitrary size, so if we added 157 bytes of padding that becomes alignment of the padding field and as the result of the whole struct. This affects very few structs, but quite radically and quite important structs. Discovered thanks to syz-check. Update #590
* sys/linux: another batch of syz-check fixesDmitry Vyukov2019-12-181-6/+6
| | | | Update #590
* sys/linux: fix few bugsDmitry Vyukov2019-12-181-6/+6
| | | | Fix some descirptions disperancies with kernel and regenerate warnings on next-20191218.
* sys/linux: support new split sound ioctlsDmitry Vyukov2019-12-181-6/+6
| | | | | | Some sounds ioctls are now explicitly doubled for 32/64 bits. Support that. Fix mips SOL_SOCKET issues by rearranging includes. Improve few other fields.
* sys/linux: various descriptions fixesAndrey Konovalov2019-12-181-6/+6
|
* sys/linux: regenerate constsDmitry Vyukov2019-12-171-6/+6
| | | | | Regenerate on next-20191217. Rename s/VMADDR_CID_RESERVED/VMADDR_CID_LOCAL/ as it was renamed in kernel.
* Autogenerated files for linux/mips64leJouni Hogander2019-12-171-0/+10
| | | | | | | | | This patch adds all autogenerated files for linux/mips64le. Files are generated by following commands: make extract bin/syz-extract -build -os=linux -arch=mips64le -sourcedir=linux make generate
* sys/linux: minor improvements for USB descriptionsAndrey Konovalov2019-12-161-5/+5
| | | | | | 1. Define endpoint maxpacket as flags with a few valid values. 2. Define bits of bmNetworkCapabilities.
* sys/test: add more tests for bitfieldsDmitry Vyukov2019-12-131-4/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add tests for issue #1542 The correct results are obtained with the following program: struct foo { unsigned char f0; unsigned int f1:4; unsigned short f2:4; }; struct bar { char f0; struct foo foo; }; int main() { struct bar y; memset(&y, 0, sizeof(y)); y.f0 = 0x12; y.foo.f0 = 0x34; y.foo.f1 = 0x56; y.foo.f2 = 0x78; int i; for (i = 0; i < sizeof(y); i++) printf("%02x", ((unsigned char*)&y)[i]); printf("\n"); }
* sys/linux: refine few framebuffer/kbd ioctlsDmitry Vyukov2019-12-071-5/+5
|
* sys/netbsd: fix the build issues with posix_spawnSiddharth Muralee2019-12-051-1/+1
|
* sys/netbsd: add the newer vfork syscallR3x2019-12-051-1/+1
|
* sys/netbsd: Added posix_spawn and fork syscallsR3x2019-12-051-1/+1
|
* sys/linux: more tuning of tty devicesDmitry Vyukov2019-12-031-5/+5
| | | | | | | | | Enable /dev/tty{1-6}. These seem to be special. Few first connected to framebuffers. But the rest seem to be different from e.g. tty20 anyway. Also /dev/tty is different from the rest. /dev/ttyS3 and /dev/ttyprintk are different. Properly pair BSD pty terminals.
* sys/linux: add /dev/fb1Dmitry Vyukov2019-12-031-5/+5
| | | | qemu -vga cirrus results in /dev/fb0 and /dev/fb1.
* sys/linux: add binderfs descriptionsDmitry Vyukov2019-12-021-5/+5
|
* sys/linux: add /dev/fb descriptionsDmitry Vyukov2019-12-021-5/+5
| | | | Framebuffer descriptions + open more tty dev nodes.
* sys/linux: regenerate constsDmitry Vyukov2019-12-021-1/+1
| | | | | Regenerate consts now that make extract is fixed. Interestingly some arm consts have changed (arm/i386 abi difference?).
* sys/linux: more device refinementsDmitry Vyukov2019-12-011-5/+5
| | | | | Add some mode /dev/nodes* Add anoter midi device.
* sys/linux: add /dev/ptp descriptionsDmitry Vyukov2019-12-011-5/+5
|