@brief return whether value is discarded @sa https://json.nlohmann.me/api/basic_json/is_discarded/

@brief return whether type is primitive @sa https://json.nlohmann.me/api/basic_json/is_primitive/

@brief helper to access iterator member functions in range-based for @sa https://json.nlohmann.me/api/basic_json/items/

@brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer @sa https://json.nlohmann.me/api/json_pointer

create reverse iterator from iterator

! @param[in,out] r reference to a JSON value that is manipulated while parsing @param[in] allow_exceptions_ whether p

default constructor (for null values)

return the key of an object iterator

File.exists(path) -> boolean

File.fdpath(fd) -> string or nil Convenience: reads /proc/self/fd/{fd} symlink

File.read(path) -> string or nil

File.readlink(path) -> string or nil

File.write(path, addr, size) -> boolean Dumps memory region to file

OS.getpid()

OS.kill(pid, sig)

OS.listdir(path) -> table of names

OS.tgkill(tgid, tid, sig)

List all loaded modules Returns: List of {base: int, name: str}

* hexdump(target [, length]) * * Frida-style hexdump. Works with any variable type: * * hexdump(0x7f000000, 128) -- address + length * h

Java.use("com.example.Class") -> JavaClassWrapper userdata

* cov:close() * * Close KCOV, munmap buffer, close fd. * GC also calls this, but early closing is best practice. */

* cov:collect([max]) -> table * * Return kernel PC addresses from buffer as a Lua table. * max: maximum entries to read (default: 8192) * * Retur

* cov:count() -> integer * * Return the number of entries in buffer (without copying). * Fast check: "how many kernel functions did this syscall hi

* cov:diff(old_edges) -> integer * * Compare current edges with a previous edge set. * Returns the number of newly discovered edges. * * Usage in

* cov:disable() * * Stop coverage recording. Data in the buffer is preserved, * you can read it with collect() at any time. */

* cov:edges() -> table * * Return unique edge hashes (for coverage-guided fuzzing). * Generates hashes from consecutive PC pairs: hash(pc[i] ^ pc[i

* cov:enable() * * Start kernel coverage recording for this thread. * IMPORTANT: only the thread that calls enable() is traced. * For coverage of

GC: cleanup KCOV when userdata is collected */

* KCov.open([buf_size]) -> userdata * * Open KCOV device and prepare shared buffer. * buf_size: how many PC addresses to hold (default: 256K) *

* cov:reset() * * Reset the buffer. Call before starting a new measurement. * Use between enable/disable cycles: * cov:reset() * cov:enable()