PV3 COASTALchecks properties of annotated Java code with concolic execution and fuzz testing

COASTAL is a program analysis tool for Java programs. It combines concolic execution and fuzz testing in a framework with built-in concurrency

Application domain/field

Expected input

Format:

Java bytecode?

Expected output

true, false or unknown

Internals

This tool combines concolic execution and fuzzing analysis. Uses Z3.
Java

Links

Last commit date

15 August 2021

Related papers

https://doi.org/10.1007/978-3-030-45237-7_23

Last publication date

17 April 2020

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.