aboutsummaryrefslogtreecommitdiffstats
path: root/sys
Commit message (Collapse)AuthorAgeFilesLines
* sys/linux: add AF_NETLINK/NETLINK_NETFILTER descriptionsDmitry Vyukov2018-01-0920-1998/+2435
|
* sys/linux: add AF_NETLINK/NETLINK_GENERIC descriptionsDmitry Vyukov2018-01-0911-1922/+2433
|
* sys/linux: duplicate open/accept specializations with openat/accept4Dmitry Vyukov2018-01-0921-7385/+7521
| | | | | | | | open is not present on arm64, only openat. accept is not present on 386, only accept4. Duplicate all open/accept specializations with corresponding openat/accept4 specializations to enable testing on 386/arm64.
* sys/linux: add AF_NETLINK/NETLINK_CRYPTO descriptionsDmitry Vyukov2018-01-0921-1979/+2485
|
* sys/linux: add ion and ashmem devices supportDmitry Vyukov2018-01-0929-5842/+6596
| | | | | Note: ion supercedes the old android interface, which is moved to sys/android.
* sys/linux: add type aliases for complex xfrm typesDmitry Vyukov2018-01-082-44/+48
|
* sys/linux: resolve few TODOsDmitry Vyukov2018-01-088-76/+69
|
* sys/linux: add type alias for socket portDmitry Vyukov2018-01-0812-23/+24
| | | | | | type sock_port proc[20000, 4, int16be] That was repeated a few times.
* pkg/compiler: make signalno a type aliasDmitry Vyukov2018-01-088-134/+62
| | | | | | | We don't need compiler support for such things anymore, now we simply can do: type signalno int32[0:65]
* prog: support opt for proc typesDmitry Vyukov2018-01-0610-209/+219
|
* prog: add test for len mutationDmitry Vyukov2018-01-063-142/+151
| | | | Test we actually can get an unnatural len value.
* pkg/compiler: add bitsize typeDmitry Vyukov2018-01-0614-474/+486
| | | | This is need for few crypto/xfrm descriptions.
* sys/linux: netlink xfrm supportDmitry Vyukov2017-12-3133-2457/+6579
|
* sys/linux: add multicast and ipv4 mapped ipv6 addressesDmitry Vyukov2017-12-297-1660/+2020
|
* sys/linux: describe ipv6 tlv optionsDmitry Vyukov2017-12-2911-48/+380
|
* sys/linux: improve bpf descriptionsDmitry Vyukov2017-12-2911-97/+1173
|
* sys/linux: improve perf descriptionsDmitry Vyukov2017-12-2911-4564/+4833
|
* sys/linux: assorted improvementsDmitry Vyukov2017-12-2942-7252/+8568
| | | | Mostly extensions of API in 4.15.
* sys/linux: fix some copy-paste errorsDmitry Vyukov2017-12-2824-6536/+6544
|
* sys/linux: fix splice signatureDmitry Vyukov2017-12-2710-439/+456
| | | | ...was wrong all that time
* prog: don't serialize output data argsDmitry Vyukov2017-12-173-142/+151
| | | | | | | | Fixes #188 We now will write just ""/1000 to denote a 1000-byte output buffer. Also we now don't store 1000-byte buffer in memory just to denote size. Old format is still parsed.
* prog: introduce more readable format for data argsDmitry Vyukov2017-12-173-134/+159
| | | | | | | | | | | | | | | | | | | | | Fixes #460 File names, crypto algorithm names, etc in programs are completely unreadable: bind$alg(r0, &(0x7f0000408000)={0x26, "6861736800000000000000000000", 0x0, 0x0, "6d6435000000000000000000000000000000000000000000000000 000000000000000000000000000000000000000000000000000000000000000 00000000000"}, 0x58) Introduce another format for printable strings. New args are denoted by '' ("" for old args). New format is enabled for printable chars, \x00 and \t, \r, \n. Example: `serialize(&(0x7f0000408000)={"6861736800000000000000000000", "4849000000"})`, vs: `serialize(&(0x7f0000408000)={'hash\x00', 'HI\x00'})`,
* prog: fix TestMutateTableDmitry Vyukov2017-12-173-134/+189
| | | | | | Now works fast enough even for short mode. Fixes #208
* sys: move test syscalls to a separate targetDmitry Vyukov2017-12-1716-3065/+1442
| | | | | | We have them in linux solely for historical reasons. Fixes #462
* sys/linux: describe PF_KEYDmitry Vyukov2017-12-1111-2903/+4396
|
* prog: fix hints of data argsDmitry Vyukov2017-12-086-387/+406
| | | | | | | | | | | | Hints for data args don't work. We do all the work, but at the final stage we patch arg in the _old_ program, not in the _new_ one. So programs passed to the callback are all the same and don't contain any mutations. Tests did not catch this because they work right before that point (don't test the actual interface function MutateWithHints). Fix that and add a test that catches this.
* sys/linux: add a simple description for selinuxDmitry Vyukov2017-12-0811-2777/+3344
|
* prog: support bytesizeN for vmaDmitry Vyukov2017-11-296-6/+21
| | | | | | I guess this is currently unused, but ignoring bytesizeN for vma looks wrong. If user asks for bytesizeN for vma, divide vma size by N.
* prog: repair arrays/buffers with incorrect size in DeserializeDmitry Vyukov2017-11-286-227/+280
| | | | | | | | | | | | | For string[N] we successfully deserialize a string of any length. Similarly for a fixed-size array[T, N] we successfully deserialize an array of any size. Such programs later crash in foreachSubargOffset because static size Type.Size() does not match what we've calculated iterating over fields. The crash happens only in SerializeForExec in syz-fuzzer, which is especially bad. Fix this from both sides: 1. Validate sizes of arrays/buffers in Validate. 2. Repair incorrect sizes in Deserialize.
* pkg/compiler: add check that len does not refer to array with varlen elementsDmitry Vyukov2017-11-2814-106/+106
| | | | | This [almost] always means a bug in descriptions. Fix all bugs identified by the check.
* sys/linux: add binder descriptionsDmitry Vyukov2017-11-2712-5754/+7249
|
* sys/linux: assorted improvements to descriptionsDmitry Vyukov2017-11-2735-6925/+7430
|
* sys/linux: add files from net dir to list of /proc filesDmitry Vyukov2017-11-276-11/+11
|
* sys/linux: fix control len in msghdr'sDmitry Vyukov2017-11-2711-65/+65
| | | | Contol len is in bytes, not array elements.
* sys/linux: improve hash generation for KEYCTL_DH_COMPUTEDmitry Vyukov2017-11-279-40/+66
| | | | | | | KEYCTL_DH_COMPUTE used the old fixed list of algorithm names. Use the new code for algorithm generation. + it needs only SHASH algs, but we passed in all alg names. Pass only SHASH algs.
* sys/linux: resolve TODO re argument truncationDmitry Vyukov2017-11-271-4/+2
|
* sys/linux: open files from /procDmitry Vyukov2017-11-276-492/+516
|
* sys/linux: improve fuse descriptionsDmitry Vyukov2017-11-2711-648/+240
|
* sys/linux: remove crypto algs starting with __Dmitry Vyukov2017-11-241-100/+3
| | | | These can't be created from user-space.
* sys/linux: prefix non-autogenerated files with init_Dmitry Vyukov2017-11-242-0/+0
|
* sys/linux: improve AF_ALG alg name generationDmitry Vyukov2017-11-2414-23/+770
| | | | | | | | | There is effectively infinite number of possible crypto algorithm names due to templates. Plus there is tricky relation between algorithms and algorithm type names. This change adds custom mutator for sockaddr_alg struct to improve variance in generated algorithms.
* sys/syz-extract: fix mmap on armDmitry Vyukov2017-11-235-632/+660
| | | | | | | __NR_mmap is missing on arm entirely, so we disable mmap during generate. Patch mmap to mmap2 right in syz-extract, so that mmap is never missing.
* executor: move arm syscall fixup to syz-extractDmitry Vyukov2017-11-2238-2283/+2234
|
* sys/linux: remove get_kernel_syms, add quotactl syscallDmitry Vyukov2017-11-2011-3613/+3644
| | | | | | get_kernel_syms does not seem to be present upstream. Describe an old quotactl syscall. Also fix umount/umount2 names in kallsyms.
* sys/syz-extract: fix compiler invocationDmitry Vyukov2017-11-201-2/+1
|
* pkg/osutil: don't leace runaway processesDmitry Vyukov2017-11-161-4/+4
| | | | | | When manager is stopped there are sometimes runaway qemu processes still running. Set PDEATHSIG for all subprocesses. We never need child processes outliving parents.
* sys/freebsd: add POLLINIGNEOFTobias Klauser2017-11-083-3/+5
|
* sys/linux: add definition for LOOP_SET_BLOCK_SIZEEric Biggers2017-11-0711-4672/+4708
| | | | The v4.14 kernel will support a new loop ioctl, LOOP_SET_BLOCK_SIZE.
* sys/linux: fix wrong ioctl numbers in loop device definitionsEric Biggers2017-11-0711-17/+37
| | | | | | | Fix a couple apparent copy-and-paste errors: - ioctl$LOOP_CHANGE_FD should use LOOP_CHANGE_FD - ioctl$LOOP_CTL_REMOVE should use LOOP_CTL_REMOVE
* syz-extract: fix printf conditional in templateEric Biggers2017-11-071-1/+1
| | | | | | commit 3520854be0e7 ("syz-extract: select declaring printf or not") broke 'make extract' because it introduced invalid syntax in a text template. Fix it.