


default search action
STATIC@ICSE 2025: Ottawa, ON, Canada
- 1st IEEE/ACM International Workshop on Advancing Static Analysis for Researchers and Industry Practitioners in Software Engineering, STATIC@ICSE 2025, Ottawa, ON, Canada, April 29, 2025. IEEE 2025, ISBN 979-8-3315-1462-4
- Florian Magin, Gwendal Patat, Fabian Scherf:
Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS. 1-6 - Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan:
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. 7-12 - Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov, Semyon V. Grigorev:
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine. 13-16

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.