Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS (STATIC 2025)

Who

Florian Magin, Gwendal Patat, Fabian Scherf

Track

STATIC 2025 Advancing Static Analysis

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 29 Apr 2025 11:30 - 12:00 at 107 - Paper Presentations

Florian Magin

Fraunhofer SIT | ATHENE

Gwendal Patat

Fraunhofer SIT | ATHENE

Fabian Scherf

Fraunhofer SIT | ATHENE

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Paper PresentationsSTATIC at 107

11:00 30m Talk		FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis STATIC Tanmay Tirpankar University of Utah, Artem Yadrov University of Utah, Pavel Panchekha University of Utah, Ganesh Gopalakrishnan University of Utah
11:30 30m Talk		Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS STATIC Florian Magin Fraunhofer SIT \| ATHENE, Gwendal Patat Fraunhofer SIT \| ATHENE, Fabian Scherf Fraunhofer SIT \| ATHENE
12:00 30m Talk		PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine STATIC Semyon Grigorev Saint Petersburg State University, Russia, Anna Chistyakova Saint-Petersburg State University, Maxim Nigmatulin Saint-Petersburg State University, Ekaterina Shemetova Saint-Petersburg State University, Danil Parfenov Saint-Petersburg State University, David Akhmedov Saint-Petersburg State University