Agentic data science with the Data Agent Kit
cloud.google.com·7h ago
AI Research
arXiv CS.AI·Aug 10·5 min read
Agentic Planning for Symbolic Execution
TL;DR
Agolic is a novel agentic planning system that enhances symbolic execution by utilizing evidence from previous runs to optimize future executions. It significantly improves branch coverage in C and C++ programs, achieving over three times the coverage compared to traditional methods.
✦ Why It Matters
Implement Agolic to enhance your symbolic execution processes and achieve better code coverage today.
Key Takeaways
- Utilize Agolic for improved symbolic execution in your projects.
- Leverage previous execution data to optimize future runs.
- Consider integrating LLMs for reasoning over code and coverage.
- Aim for higher branch coverage to enhance software reliability.
How It Works
Agolic functions by analyzing evidence from past symbolic execution runs to inform the configuration of future runs. It uses a large language model to interpret source code and previous coverage data, allowing it to strategically select which paths to explore next.
This planning intelligence helps maximize the efficiency of the symbolic execution process, ensuring that more branches are covered in each execution.