Context-Sensitive Data-Flow#

Release:

5.0.0

Date:

Sep 18, 2026

Context-sensitive data-flow graphs for C programs, tracking how values flow through the program under a calling context (the call_i / ret_i families), as in “Taming Transitive Redundancy for Context-Free Language Reachability”.

Graph

Num Nodes

Num Edges

vf

Download

xz

30492

37173

358834

xz.tar.gz 📥

nab

31215

37484

739646

nab.tar.gz 📥

leela

47665

63996

662466

leela.tar.gz 📥

x264

138702

201034

20259480

x264.tar.gz 📥

parest

233900

307850

1342540

parest.tar.gz 📥

imagick

331177

445544

12687034

imagick.tar.gz 📥

povray

346034

581210

34599413

povray.tar.gz 📥

cactus

359200

580297

47806209

cactus.tar.gz 📥

omnetpp

463454

958487

8424500

omnetpp.tar.gz 📥

perlbench

605864

1114892

297504186

perlbench.tar.gz 📥