aboutsummaryrefslogtreecommitdiffstats
path: root/executor/syscalls_linux.h
Commit message (Collapse)AuthorAgeFilesLines
* sys/linux: use size attributes on structsDmitry Vyukov2018-03-051-5/+5
| | | | | | | | | | | 1. Add size attribte on sockaddr. 2. Remove sockaddr's that are larger than 16 bytes from sockaddr. 3. Add size attribute on sockaddr_storage which wasn't actually 128 bytes. 4. Add size attribute to ifreq. 5. Fix ifmap field types as uncovered by the size attributes. 6. Fix sockaddr_storage_tcp from struct to union which is should be. 7. Make sockaddr_un_file fixed size as it should be. 8. Fix some explicit paddings that were only correct for 64 bits.
* sys/linux: a bunch of assorted improvements and fixesDmitry Vyukov2018-03-051-33/+13
|
* sys/linux: add remaining aux netfilter descriptionsDmitry Vyukov2018-03-011-10/+98
|
* sys/linux: few assorted additionsDmitry Vyukov2018-02-261-9/+17
|
* sys/linux: remove proc type from network descriptionsDmitry Vyukov2018-02-261-5/+5
| | | | | | | | | | We now always create net namespace for testing, so socket ports and other IDs do not overlap between different test processes. Proc types play badly with squashing packets to ANYBLOB. To squash into a block we need concrete value, but it depends on process id. Removing proc also makes tun setup and address descriptions simpler.
* sys/linux: make tcp_seq_num asymmetricDmitry Vyukov2018-02-261-5/+5
| | | | | | Currently it's 0x42424242 so it's not possible to understand the value endianess in hints code. Make it assymmetric so that endinaness is clear.
* prog: add arbitrary mutation of complex structsDmitry Vyukov2018-02-251-5/+5
| | | | | | Squash complex structs into flat byte array and mutate this array with generic blob mutations. This allows to mutate what we currently consider as paddings and add/remove paddings from structs, etc.
* pkg/compiler: fix alignment corner caseDmitry Vyukov2018-02-251-5/+5
| | | | | Fix alignemnt calculation for packed structs with alignment and bitfields. Amusingly this affected only a single real struct -- ipv6_fragment_ext_header.
* pkg/compiler: don't assign call IDs staticallyDmitry Vyukov2018-02-251-5/+5
| | | | | | IDs change whenever a call is added or removed, this leads to large diffs unnecessarly. Assign IDs dynamically.
* sys: fix descriptions for strickter return type checksDmitry Vyukov2018-02-231-5/+5
| | | | | Mostly remove vma as return from some mm syscalls. This is unnecessary and we never used these.
* sys/linux: add AF_SMC socketsDmitry Vyukov2018-02-221-8/+16
|
* executor: bring up bond and veth devicesDmitry Vyukov2018-02-221-5/+5
|
* sys/linux: add few ip and tcp optionsDmitry Vyukov2018-02-221-5/+5
|
* sys/linux: minor fixes to bt descriptionsDmitry Vyukov2018-02-191-5/+5
|
* pkg/compiler: fix corner case in alignment calculationDmitry Vyukov2018-02-191-5/+5
|
* prog: rework address allocationDmitry Vyukov2018-02-191-5/+20
| | | | | | | | | | | | 1. mmap all memory always, without explicit mmap calls in the program. This makes lots of things much easier and removes lots of code. Makes mmap not a special syscall and allows to fuzz without mmap enabled. 2. Change address assignment algorithm. Current algorithm allocates unmapped addresses too frequently and allows collisions between arguments of a single syscall. The new algorithm analyzes actual allocations in the program and places new arguments at unused locations.
* sys/linux: add bridge netfilter supportDmitry Vyukov2018-02-171-10/+15
|
* sys/linux: fixes for network descriptionsDmitry Vyukov2018-02-171-5/+5
| | | | | | | 1. Fix connlimit netfilter match version. 2. Fix xt_time_info layout. 3. Introduce mac_addr_mask type. 4. Limit vlan id's for better matches between them.
* sys/linux: fix field names in netfilterDmitry Vyukov2018-02-101-5/+5
|
* sys/linux: improve netfilter descriptionsDmitry Vyukov2018-02-091-10/+18
| | | | | | | | | | | | | | | | Put the underflow entry at the end. Entries must end on an unconditional, non-goto entry, otherwise fallthrough from the last entry is invalid. Add arp tables support. Split unspec matches/targets to unspec and inet. Reset ipv6 and arp tables in executor. Fix number of counters in tables. Plus a bunch of assorted fixes for matches/targets.
* sys/linux: describe some new 4.16 featuresDmitry Vyukov2018-02-011-10/+35
|
* sys/syz-extract: save unsupported consts to the const filesDmitry Vyukov2018-02-011-5/+5
| | | | | | | | | | | We currently print unsupported consts to console during make extract. But this is not very useful as there are too many output now. This also does not allow to understand what's unsupported in newly checked-in descriptions, or what's unsupported in all current decriptions. Save unsupported consts to the const files instead. This solves all of the above problems.
* sys/linux: extend netfilter descriptionsDmitry Vyukov2018-01-271-10/+15
|
* sys/linux: fix devname_mask alignmentDmitry Vyukov2018-01-241-5/+5
| | | | | | Since we use int64, it has 8-byte alignment. It's wrong, it must have 1-byte alignment. Use int8 instead.
* sys/linux: add IPPROTO_L2TP to vnet protosDmitry Vyukov2018-01-241-5/+5
|
* sys/linux: add netfilter descriptionsDmitry Vyukov2018-01-221-10/+15
| | | | Lots of TODOs and only ipv4, but some start.
* sys/linux: add AF_VSOCK/vhost descriptionsDmitry Vyukov2018-01-191-10/+180
|
* sys/linux: add AF_RDS descriptionsDmitry Vyukov2018-01-191-10/+70
|
* sys/linux: make xattr prefix non-zero-terminatedDmitry Vyukov2018-01-181-5/+5
|
* sys/linux: more selinux descriptionsDmitry Vyukov2018-01-181-10/+40
|
* sys/linux: generate GRE v0 packets even with incorrect payloadDmitry Vyukov2018-01-151-5/+5
|
* sys/linux: more NETLINK_ROUTE descriptionsDmitry Vyukov2018-01-151-5/+5
|
* sys/linux: add AF_PPPOX descriptionsDmitry Vyukov2018-01-151-10/+120
|
* sys/linux: add vnet descriptions for GRE, MPLS, CANDmitry Vyukov2018-01-141-5/+5
|
* sys/linux: more AF_NETLINK/NETLINK_ROUTE descriptionsDmitry Vyukov2018-01-141-5/+5
|
* sys/linux: add broadcast/multicast mac addressesDmitry Vyukov2018-01-141-5/+5
|
* sys/linux: add AF_CAN descriptionsDmitry Vyukov2018-01-131-10/+45
|
* sys/linux: add AF_NETLINK/NETLINK_ROUTE supportDmitry Vyukov2018-01-131-10/+20
|
* executor: setup network devicesDmitry Vyukov2018-01-131-5/+5
| | | | | | We test in a new network namespace, which does not have any devices set up (even lo). Create/up as many devices as possible. Give them some addresses and use these addresses in descriptions.
* sys/syz-sysgen: don't generate syz_ syscall numbersDmitry Vyukov2018-01-131-260/+215
| | | | They don't seem to be used today.
* sys/linux: use type templates for netlinkDmitry Vyukov2018-01-131-5/+5
| | | | -350 lines of descriptions
* pkg/compiler: support void typeDmitry Vyukov2018-01-131-5/+5
| | | | | | "void": type with static size 0 mostly useful inside of templates and varlen unions can't be syscall argument
* sys/linux: regenerate arm consts + small netlink fixedDmitry Vyukov2018-01-111-5/+5
| | | | | | | | Arm was broken on upstream kernel for some time due to some assembler error. Now it seems to be fixed, so regenerate consts. Also fix small issues in new netlink descriptions.
* sys/linux: add AF_NETLINK/NETLINK_NETFILTER descriptionsDmitry Vyukov2018-01-091-10/+20
|
* sys/linux: add AF_NETLINK/NETLINK_GENERIC descriptionsDmitry Vyukov2018-01-091-10/+20
|
* sys/linux: duplicate open/accept specializations with openat/accept4Dmitry Vyukov2018-01-091-10/+30
| | | | | | | | 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-091-10/+20
|
* sys/linux: add ion and ashmem devices supportDmitry Vyukov2018-01-091-22/+68
| | | | | Note: ion supercedes the old android interface, which is moved to sys/android.
* sys/linux: resolve few TODOsDmitry Vyukov2018-01-081-5/+5
|
* pkg/compiler: make signalno a type aliasDmitry Vyukov2018-01-081-5/+5
| | | | | | | We don't need compiler support for such things anymore, now we simply can do: type signalno int32[0:65]