Side-Effect Analysis of Assembly Code
Abstract elided by the publisher.
Related papers
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives PLDI 2023
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Purity and Side Effect Analysis for Java Programs VMCAI 2005
- Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis APLAS 2012
- A study of inline assembly in solidity smart contracts OOPSLA 2022
- Interprocedural Side-Effect Analysis in Linear Time PLDI 1988
- Interprocedural Side Effect Analysis With Pointer Aliasing PLDI 1993
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021