Symbolic execution tools like Manticore explore all possible execution paths to find hidden vulnerabilities.

By treating inputs as symbolic variables rather than concrete values, symbolic execution can prove or disprove safety properties.