Context-sensitive analysis of obfuscated x86 executables
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Scalable simulation of complex network routing policies
Proceedings of the 7th ACM international conference on Computing frontiers
An algorithmic mitigation of large spurious interprocedural cycles in static analysis
Software—Practice & Experience
A security-aware refactoring tool for Java programs
Proceedings of the 4th Workshop on Refactoring Tools
Context-sensitive analysis without calling-context
Higher-Order and Symbolic Computation
Holistic optimization by prefetching query results
SIGMOD '12 Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data
Program analysis and transformation for holistic optimization of database applications
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis
Runtime detection and optimization of collective communication patterns
Proceedings of the 21st international conference on Parallel architectures and compilation techniques
An overview of the knowledge discovery meta-model
Proceedings of the 13th International Conference on Computer Systems and Technologies
Liveness-Based pointer analysis
SAS'12 Proceedings of the 19th international conference on Static Analysis
Compiler-based side channel vulnerability analysis and optimized countermeasures application
Proceedings of the 50th Annual Design Automation Conference
Static analysis of worst-case stack cache behavior
Proceedings of the 21st International conference on Real-Time Networks and Systems
Parallel flow-sensitive pointer analysis by graph-rewriting
PACT '13 Proceedings of the 22nd international conference on Parallel architectures and compilation techniques
Automated generation of model classes for Java PathFinder
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
This work provides an in-depth treatment of data flow analysis technique. Apart from including interprocedural data flow analysis, this book is the first to extend detailed coverage of analysis beyond bit vectors. Supplemented by numerous examples, it equips readers with a combination of mutually supportive theory and practice, presenting mathematical foundations and including study of data flow analysis implementation through use of the GNU Compiler Collection (GCC). Readers can experiment with the analyses described in the book by accessing the authors web page, where they will find the source code of gdfa (generic data flow analyzer).