Field-Sensitive Alias#

Release:

5.0.0

Date:

Sep 18, 2026

Field-sensitive alias graphs for C programs: memory locations are distinguished by the struct field they occupy, so aliasing is tracked per field (the f_i family), as in “Taming Transitive Redundancy for Context-Free Language Reachability”.

Graph

Num Nodes

Num Edges

aa

Download

xz

2808

6604

205164

xz_field_sensitive_alias.tar.gz 📥

nab

3444

7982

262566

nab_field_sensitive_alias.tar.gz 📥

leela

8090

19888

3968276

leela_field_sensitive_alias.tar.gz 📥

povray

15137

38886

27219043

povray_field_sensitive_alias.tar.gz 📥

x264

18051

44780

5246565

x264_field_sensitive_alias.tar.gz 📥

cactus

22350

56636

37625324

cactus_field_sensitive_alias.tar.gz 📥

parest

29788

64528

49415038

parest_field_sensitive_alias.tar.gz 📥

perlbench

38091

110874

851737865

perlbench_field_sensitive_alias.tar.gz 📥

imagick

41652

111550

369956094

imagick_field_sensitive_alias.tar.gz 📥

omnetpp

49962

119064

158255766

omnetpp_field_sensitive_alias.tar.gz 📥