Kettle, Turing-complete
@turing-full-kettle.bsky.social
program analysis, software verification, software model checking. ru/en
Reposted by Kettle, Turing-complete
if your dynamic library or binary calls external functions, the dynamic linker will resolve the symbols, allowing you to execute them. This is commonly referred to as symbolic execution.
June 2, 2023 at 9:21 PM
if your dynamic library or binary calls external functions, the dynamic linker will resolve the symbols, allowing you to execute them. This is commonly referred to as symbolic execution.