Abstract
COASTAL is a program analysis tool for Java programs. It combines concolic execution and fuzz testing in a framework with built-in concurrency, allowing the two approaches to cooperate naturally.
Footnotes
Willem Visser—Jury member
Contributor Information
Armin Biere, Email: biere@jku.at.
David Parker, Email: d.a.parker@cs.bham.ac.uk.
Willem Visser, Email: visserw@sun.ac.za.
Jaco Geldenhuys, Email: geld@sun.ac.za.
References
- 1.American Fuzzy Lop, http://lcamtuf.coredump.cx/afl/. Accessed 11 Jan 2020
- 2.ASM Library, https://asm.ow2.io/. Accessed 10 Jan 2020
- 3.Beyer, D.: Advances in Automatic Software Verification: SV-COMP 2020. In: Biere, A., Parker, D. (eds.) TACAS 2020 (2), LNCS, vol. 12079. Springer, Heidelberg (2020).
- 4.de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008, LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008).
- 5.Miller, B.P., Fredriksen, L., So, B.: An Empirical Study of the Reliability of UNIX Utilities. Communications of the ACM 33(12), 32–44, (1990)
- 6.Sutton, M., Greene, A., Amini, P.: Fuzzing: Brute Force Vulnerability Discovery. Addison-Wesley Professional (2007).
- 7.Visser, W., Geldenhuys, J.: (2020, February 22). COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). 10.5281/zenodo.3679243 Zenodo. (2020)