We present CSolve, an automated verifier for C programs based on Liquid Type inference. We show how CSolve verifies memory safety through an example and describe its architecture and interface. © 2012 Springer-Verlag.
CITATION STYLE
Rondon, P., Bakst, A., Kawaguchi, M., & Jhala, R. (2012). CSolve: Verifying C with liquid types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7358 LNCS, pp. 744–750). https://doi.org/10.1007/978-3-642-31424-7_59
Mendeley helps you to discover research relevant for your work.