Ensures that if an async call produces a resource, then it is distanced from a call consuming the resource at least by one non-async call.

CallSet returns a set of all calls in the program.

CppName transforms PascalStyleNames to cpp_style_names.

We append prog to itself, but let the second part only reference resource from the first one.

DupCallCollide duplicates some of the calls in the program and marks them async.

Returns inner arg for pointer args.

Generic heatmaps model a probability distribution based on sparse data, prioritising selection of regions which are not a single repeated byte.

Minimize minimizes program p into an equivalent program using the equivalence predicate pred.

finished but blocked during execution.

was started at all.

finished executing (rather than blocked forever).

keep in sync with kMaxInput in executor.cc.

MaxArgs is maximum number of syscall arguments.

"Recommended" max number of calls in programs.

Some aspects of the linux kernel configs also know about this const, e.g.

Only try to remove calls.

Minimize for inclusion into corpus.

Minimize crash reproducer.

Minimize crash reproducer in snapshot mode.

In non-strict mode malformed programs silently fixed in a best-effort way, e.g.

Special reference to the outer struct used in len targets.

"Recommended" number of calls in programs that we try to aim at during fuzzing.

In strict mode deserialization fails if the program is malformed in any way.

Unsafe mode is used for VM checking programs.

Special reference directly to syscall arguments used in len targets.

emitted by Makefile, may contain + at the end.

without +.

parsed from gitRevisionDate.

Special case reply of ArgFinder.

These properties are parsed and serialized according to the tag and the type of the corresponding fields.

ChooseTable allows to do a weighted choice of a syscall for a given syscall based on call-to-call priorities and a set of enabled and generatable syscalls.

Used for ConstType, IntType, FlagsType, LenType, ProcType and CsumType.

Used for BufferType.

Used for StructType and ArrayType.

LogEntry describes one program in execution log.

Used for PtrType and VmaType.

Used for ResourceType.

Rotator selects a random subset of syscalls for corpus rotation.

SyscallAttrs represents call attributes in syzlang.

Target describes target OS/arch pair.

Used for UnionType.

Our heatmaps are a flexible mechanism to assign a probability distribution to some collection of bytes.

CompMap maps comparison operand that could come from the input to the second operand to the PC.