aboutsummaryrefslogtreecommitdiffstats
path: root/sys/freebsd/gen
Commit message (Collapse)AuthorAgeFilesLines
* sys/syz-sysgen: serialize descriptions as gob and embedDmitry Vyukov2025-01-231-6/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Instead of generating Go files with descriptions serialize them as gob and compress with flate. This significantly reduces build time, go vet time, and solves scalability problems with some static analysis tools. Reference times (all after rm -rf ~/.cache/go-build) before: TIME="%e %P %M" time go install ./syz-manager 48.29 577% 4824820 TIME="%e %P %M" time go test -c ./prog 56.28 380% 6973292 After: TIME="%e %P %M" time go install ./syz-manager 22.81 865% 859788 TIME="%e %P %M" time go test -c ./prog 12.74 565% 267760 syz-manager size before/after: 194712597 -> 83418407 -57% even provided we now embed all descriptions instead of just a single arch. Deflate/decoding time for a single Linux arch is ~330ms. Fixes #5542
* sys: commit empty source filesDmitry Vyukov2021-04-211-0/+6
| | | | | | Commit empty files into generated packages, so that the tree is buildable even w/o generated files and Go tools continue to work.
* Makefile: generate descriptions on-the-flyDmitry Vyukov2020-04-303-15200/+0
| | | | | | | | | | | | | | | | | | Checking in the generated descriptions files makes few things simpler, but causes pain for pull requests: (1) PRs that touch descriptions _always_ conflict, (2) PRs are large and harder to review, (3) people sometimes forget to add auto-generated files. The proposed way does not require us to hardcode lots of dependencies in the Makefile (which is nice) and seem to work. Let's see how it works. The main contributor-visible consequence is that the auto-generated files do not need to be checked-in now. Credit for figuring the Makefile magic goes to @melver. Fixes #1291
* sys: add mldv2 packet structsAndy Nguyen2020-04-292-6993/+7091
| | | | Use special values for hop limit to increase likelihood of triggering certain paths.
* sys: add more specific ipv6 optionsAndy Nguyen2020-04-292-5245/+5321
| | | | Additionally fix a type for ipv6_hopopts_ext_header
* pkg/compiler: deduplicate Types in descriptionsDmitry Vyukov2020-04-262-6507/+9705
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Add prog.Ref Type that serves as a proxy for real types and allows to deduplicate Types in generated descriptions. The Ref type is effectively an index in an array of types. Just before serialization pkg/compiler replaces real types with the Ref types and prepares corresponding array of real types. When a Target is registered in prog package, we do the opposite operation and replace Ref's with the corresponding real types. This brings improvements across the board: compiler memory consumption is reduced by 15%, test building time by 25%, descriptions size by 33%. Before: $ du -h sys/linux/gen 54M sys/linux/gen $ time GOMAXPROCS=1 go test -p=1 -c ./prog real 0m54.200s real 0m53.883s $ time GOMAXPROCS=1 go install -p=1 ./tools/syz-execprog real 0m27.911s real 0m27.767s $ TIME="%e %P %M" GOMAXPROCS=1 time go tool compile ./sys/linux/gen 20.59 100% 3200016 20.97 100% 3445976 20.25 100% 3209684 After: $ du -h sys/linux/gen 36M sys/linux/gen $ time GOMAXPROCS=1 go test -p=1 -c ./prog real 0m42.290s real 0m43.230s $ time GOMAXPROCS=1 go install -p=1 ./tools/syz-execprog real 0m24.337s real 0m24.727s $ TIME="%e %P %M" GOMAXPROCS=1 time go tool compile ./sys/linux/gen 19.11 100% 2764952 19.66 100% 2787624 19.35 100% 2749376 Update #1580
* sys/freebsd: add Capsicum system callsMark Johnston2020-03-272-2/+78
|
* sys/freebsd: add __realpathat system callMark Johnston2020-03-272-2/+18
|
* sys/freebsd: add bindat(2)Mark Johnston2020-03-272-2/+28
|
* sys/freebsd: add POSIX shared memory system callsMark Johnston2020-03-272-2/+56
|
* sys/freebsd: add connectat(2)Mark Johnston2020-03-272-2/+28
|
* sys/freebsd: add posix_fadvise(2) and posix_fallocate(2)Mark Johnston2020-03-272-2/+40
|
* sys/freebsd: add missing open(2) flagsMark Johnston2020-03-272-10/+18
|
* sys/freebsd: use symbolic names for faccessat(2) flagsMark Johnston2020-03-272-2/+6
|
* sys/freebsd: add chflags(2) and related syscallsMark Johnston2020-03-272-2/+80
|
* sys/freebsd: add lchmod(2)Mark Johnston2020-03-272-2/+12
|
* sys/freebsd: add copy_file_range(2)Mark Johnston2020-03-272-2/+20
|
* sys/freebsd: add minherit(2)Mark Johnston2020-03-272-2/+22
|
* sys/freebsd: add FreeBSD-specific madvise(2) flagsMark Johnston2020-03-272-4/+16
|
* pkg/compiler: truncate const values to their physical sizeDmitry Vyukov2020-03-241-2/+2
| | | | | | We do similar truncation for values in the prog package (truncateToBitSize). Truncating them in the generated descriptions makes it possible to directly compare values (otherwise -1 and truncated -1 don't match).
* pkg/compiler: calculate more precise sizes for argumentsDmitry Vyukov2020-03-172-490/+490
| | | | | | | | | | | | | | | | | | | | If we have: ioctl(fd fd, cmd int32) ioctl$FOO(fd fd, cmd const[FOO]) Currently we assume that cmd size in ioctl$FOO is sizeof(void*). However, we know that in ioctl it's specified as int32, so we can infer that the actual syscall size is 4. This massively reduces sizes of socket/setsockopt/getsockopt/ioctl and some other syscalls, which is good because we now use physical size in mutation/hints and some other places. This will also enable not morphing ioctl's into other ioctl's. Update #477 Update #502
* prog: remove unused ResourceDesc.TypeDmitry Vyukov2020-01-262-58/+58
|
* pkg/serializer: do not write field names if it won't save spaceDmitry Vyukov2020-01-262-4146/+4146
| | | | | | | If we are going to write all values, don't write field names. This only increases size of generated files. The change reduces size of generated files by 5.8% (62870496-59410354=3460142 bytes saved).
* pkg/compiler: don't mark flags with 0 as bitmaskDmitry Vyukov2020-01-182-48/+48
| | | | | | | They can't be a bitmask. This fixes important cases of "0, 1" and "0, 1, 2" flags. Fix some descriptions that added 0 to bitmasks explicitly (we should do it automatically instead).
* pkg/compiler: sort flags valuesDmitry Vyukov2020-01-182-174/+174
| | | | | | Will simplify runtime analysis of flags. Also just no reason to make it more deterministic and avoid unnecessary diffs in future if values are reordered.
* sys/freebsd: fix ipv6_packet nameDmitry Vyukov2020-01-122-18/+18
| | | | | The common code now expects it to be called ipv6_packet_t. The freebsd fork wasn't updated when the linux version changed.
* sys/linux: fix int64 alignment on 386Dmitry Vyukov2019-12-231-16/+8
| | | | | | | | | Turns out int64 alignment is 4 on 386... But on arm it's still 8. Another amusing finding thanks to syz-check. Update #590
* prog: refactor bitfields representationDmitry Vyukov2019-12-192-54/+54
| | | | | | | | 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).
* pkg/compiler: define fileoff templatePaul Chaignon2019-11-012-26/+26
| | | | Signed-off-by: Paul Chaignon <paul.chaignon@orange.com>
* sys/freebsd: fix int should be constPaul Chaignon2019-10-252-6/+6
| | | | Signed-off-by: Paul Chaignon <paul.chaignon@orange.com>
* sys/freebsd/sys.txt: update sendfile descriptionMichael Tuexen2019-09-162-10/+38
| | | | | The signature of sendfile() on FreeBSD is different from the one used on Linux.
* sys/freebsd/vnet.txt: replace IPPROTO_SEP by IPPROTO_DCCP (#1401)Michael Tüxen2019-09-162-4/+4
| | | | r350749 updated the constant from IPPROTO_SEP to IPPROTO_DCCP to be consistent with the IANA registry.
* sys/freebsd: fix sockaddr structuresMichael Tuexen2019-06-232-22/+42
| | | | FreeBSD uses in sockaddr_{in,in6,un} structures a length field.
* sys/freebsd: Add support for fuzzing FreeBSD/i386Andrew Turner2019-05-291-0/+5691
| | | | Add support to fuzz 32 bit FreeBSD system calls.
* .golangci.yml: add codeanalysis build tagDmitry Vyukov2019-05-151-1/+2
| | | | | | | | | Using a build tag to exclude files for golangci-lint reduces memory consumption (it does not parse them). The naive attempt with skip-dirs did not work. So add codeanalysis build tag and use it in auto-generated files. Update #977
* pkg/compiler: generate complex len targetsDmitry Vyukov2019-05-141-361/+361
| | | | Change the generated format for len type to support multiple path elements.
* sys/freebsd: add support for various network protocolsMichael Tuexen2019-05-011-2/+1128
| | | | | Add support for Ethernet, IPv4, ICMP, IPv6, ICMP6, TCP, and UDP. This work is based on the corresponding Linux support.
* sys/freebsd: include ioccom.h in pf.txtMichael Tuexen2019-04-301-12/+3
| | | | This is needed for the IORW() macros.
* sys/freebsd: Add pf ioctl()sKristof Provost2019-04-231-30/+409
| | | | | Tweak the building of the FreeBSD vm image to ensure pf is loaded at startup, so that we can test it.
* pkg/compiler: make buffer alias to ptr[array[int8]]Dmitry Vyukov2019-04-011-46/+46
| | | | | | | | | | | Ptr type has special handling of direction (pointers are always input). But buffer type missed this special case all the time. Make buffer less special by aliasing to the ptr[array[int8]] type. As the result buffer type can't have optional trailing "opt" attribute because we don't have such support for templates yet. Change such cases to use ptr type directly. Fixes #1097
* sys/freebsd: avoid mangling syscall namesMark Johnston2019-03-071-135/+163
| | | | | | | | | | | | | | | | | syz-extract was removing certain prefixes from syscall names, but this caused some problems: - freebsd* prefixes are for compatibility syscalls when the syscall ABI has changed. For instance, we have both fstat() and freebsd11_fstat(), and it is desirable to fuzz them both. - Stripping prefixes may leave us with undefined SYS_ constants. This resulted in some test failures in pkg/csource, which emitted code referencing SYS_semctl when it should have been SYS___semctl. Fix the problem by updating syscall descriptions to match the names given by the FreeBSD kernel. Add some new descriptions for compatibility syscalls, fix the mknodat() description (dev_t is now 64 bits wide on FreeBSD), and remove mknod$loop, which appears to be Linux-specific.
* sys/freebsd: add SCTP syscallsmsvoelker2019-01-161-1/+1771
| | | | | | | | * sys/freebsd: Add SCTP syscalls * sys/freebsd: SCTP syscalls updated * sys/freebsd: SCTP syscalls fixed
* pkg/csource: use 0 for missing syscall argsDmitry Vyukov2018-12-271-8/+8
| | | | | | | | | | | | | | We don't specify trailing unused args for some syscalls (e.g. ioctl that does not use its arg). Executor always filled tailing unsed args with 0's but pkg/csource didn't. Some such syscalls actually check that the unsed arg is 0 and as the result failed with C repro. We could statically check and eliminate all such cases, but it turns out the warning fires in 1500+ cases: https://gist.githubusercontent.com/dvyukov/e59ba1d9a211ee32fa0ba94fab86a943/raw/a3ace5a63f7281f0298f51ea9842ead1e4713418/gistfile1.txt So instead fill such args with 0's in pkg/csource too.
* sys: consistently mark all paddings as const[0]Dmitry Vyukov2018-12-101-3/+3
|
* sys/freebsd: fix socketpair usageMichael Tuexen2018-12-091-2/+6
|
* sys/freebsd: use a better description of msg_flags fieldsMichael Tuexen2018-12-081-3/+3
| | | | | | | As suggested by Dmitry us a better description of the msg_flags field, which is only used to provide information from the kernel to the application for recvmsg() calls. This means that the value provided is basically ignored.
* sys/freebsd: Improve socket related tests for FreeBSD.Michael Tuexen2018-12-081-118/+59
|
* sys/freebsd: improve TCP testsMichael Tüxen2018-12-051-14/+65
| | | | | | | | | | * sys/freebsd: improve TCP tests Add missing TCP socket options for FreeBSD. * sys/freebsd: improve TCP tests Add socket option description for TCP_FASTOPEN.
* sys/freebsd: improve udp testsMichael Tuexen2018-12-041-1/+31
| | | | | Add support for the UDP_ENCAP. Add required includes and remove the Linux specific ones.
* sys: remove socketpair for AF_INET and AF_INET6Michael Tüxen2018-12-041-93/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * OpebBSD: remove socketpair() for AF_INET and AF_INET6. socketpair() is only supported on AF_UNIX. * NetBSD: remove socketpair() for AF_INET and AF_INET6. socketpair() is only supported for AF_UNIX. * FreeBSD: remove socketpair() for AF_INET and AF_INET6. socketpair() only supports AF_UNIX. * Linux: remove socketpair for AF_INET and AF_INET6. socketpair only supports AF_UNIX. * Autogenerated files. These are manually generated for all platforms you are not running on. FreeBSD in this case. * executor: rebase. * sys/freebsd: rebase. * sys/linux: use AF_UNIX based socketpair for nbd. This was suggested by Dmitry. Fixes #845
generated by ggit (джигит) mrf-deployment (git 2.46.0) at 2026-03-30 05:14:44 +0000