A Next-Generation Platform for Analyzing Executables
No abstract available.
Related papers
- Compositional Symbolic Execution for the Next 700 Memory Models OOPSLA 2025
- Analyzing the Next Generation Airborne Collision Avoidance System TACAS 2014
- Orchestrating the execution of stream programs on multicore platforms PLDI 2008
- CodeSurfer/x86-A Platform for Analyzing x86 Executables CC 2005
- Tracing garbage collection on highly parallel platforms ISMM 2010
- Cost Analysis of Smart Contracts Via Parametric Resource Analysis SAS 2020
- Automatic non-functional testing of code generators families GPCE 2016
- Actor profiling in virtual execution environments GPCE 2016