7 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Andreas Lindner, Karl Palmskog, Scott Constable +3
Control flow in unstructured programs can be complex and dynamic, which makes static analysis difficult. Yet, automated reasoning about unstructured control flow is important when…