2 papers
cs.PL2021
NoCFG: A Lightweight Approach for Sound Call Graph Approximation
Aharon Abadi, Bar Makovitzki, Ron Shemer +1
Interprocedural analysis refers to gathering information about the entire program rather than for a single procedure only, as in intraprocedural analysis. Interprocedural analysis…
cs.PL2019
Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, Sharon Shoham +1
We address the problem of verifying k-safety properties: properties that refer to k-interacting executions of a program. A prominent way to verify k-safety properties is by self co…