Now showing items 1-1 of 1
Affine Modeling of Program Traces
(Institute of Electrical and Electronics Engineers, 2019-02-01)
[Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ...