Abstract is missing.
- Static analysis for dummies: experiencing LiSAPietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi. 1-6 [doi]
- Security and quality: two sides of the same coin? Steven Arzt. 7-12 [doi]
- Program analysis for reversible languagesNiklas Deworetzki, Uwe Meyer. 13-18 [doi]
- PerfLens: a data-driven performance bug detection and fix platformSpandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan, Chen Wu. 19-24 [doi]
- Weldr: fusing binaries for simplified analysisAlexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan. 25-30 [doi]
- Multi-language static code analysis on the LARA frameworkGil Teixeira, João Bispo, Filipe F. Correia. 31-36 [doi]
- Serialization-aware call graph constructionJoanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, Mehdi Mirakhorli. 37-42 [doi]
- Scalable string analysis: an experience reportKostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan. 43-48 [doi]