C alias analysis#

Release:

5.0.0

Date:

Sep 18, 2026

Points-to (alias) graphs for a suite of C programs, built by demand-driven alias analysis as in β€œDemand-driven alias analysis for C”. Nodes are program entities and edges are the aliasing and flow relations discovered for each program.

Graph

Num Nodes

Num Edges

c_alias

Download

wc

332

269

156

wc.tar.gz πŸ“₯

bzip

632

556

315

bzip.tar.gz πŸ“₯

pr

815

692

385

pr.tar.gz πŸ“₯

ls

1687

1453

854

ls.tar.gz πŸ“₯

gzip

2687

2293

1458

gzip.tar.gz πŸ“₯

apache

1721418

1510411

92806768

apache.tar.gz πŸ“₯

init

2446224

2112809

3783769

init.tar.gz πŸ“₯

mm

2538243

2191079

3990305

mm.tar.gz πŸ“₯

ipc

3401022

2931498

5249389

ipc.tar.gz πŸ“₯

lib

3401355

2931880

5276303

lib.tar.gz πŸ“₯

block

3423234

2951393

5351409

block.tar.gz πŸ“₯

arch

3448422

2970242

5339563

arch.tar.gz πŸ“₯

crypto

3464970

2988387

5428237

crypto.tar.gz πŸ“₯

security

3479982

3003326

5593387

security.tar.gz πŸ“₯

sound

3528861

3049732

6085269

sound.tar.gz πŸ“₯

net

4039470

3500141

8833403

net.tar.gz πŸ“₯

fs

4177416

3609373

9646475

fs.tar.gz πŸ“₯

drivers

4273803

3707769

18825025

drivers.tar.gz πŸ“₯

postgre

5203419

4678543

90661446

postgre.tar.gz πŸ“₯

kernel

11254434

9484213

16747731

kernel.tar.gz πŸ“₯