U

UPBSlicer

Program slicing for C code using Frama-C