Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries
No abstract available.
Related papers
- Reachability analysis of program variables TOPLAS 2013
- Using Data Groups to Specify and Check Side Effects PLDI 2002
- Precompiling C++ for Garbage Collection ISMM 1992
- Interprocedural Side Effect Analysis With Pointer Aliasing PLDI 1993
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- An operational and axiomatic semantics for non-determinism and sequence points in C POPL 2014
- Precise interprocedural analysis through linear algebra POPL 2004
- A study of evaluation order semantics in expressions with side effects JFP 2000