Program
Verification
Book

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

Program analysis
Concolic execution
Fuzz testing

Expected input

Instrumented system-under-test

Format:

Java bytecode?

Expected output

true, false or unknown

Internals

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

Links

Artifact for TACAS '20 paper: https://doi.org/10.5281/zenodo.3679243
Repository: https://github.com/DeepseaPlatform/coastal/
- Last commit date: 18 Sep 2022 (default branch)
- Last commit date: 18 Sep 2022 (last activity)
Project page: https://deepseaplatform.github.io/coastal/ (Note: this website seems to be unfinished)

Related papers

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution)

Last publication date

17 April 2020

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.