Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Cyrille Artho, Armin Biere. Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electronic Notes in Theoretical Computer Science, 141(1):109-128, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.