PROMPT: API model guided symbolic execution for component-level analysis
Primary LanguageSWIGApache License 2.0Apache-2.0