icfg

There are 2 repositories under icfg topic.

awen-li/PCA
A data dependence analyzer for C program
Language:C++20 1 28
Mohannadcse/IoTCOM
Verifying safety of interactions between IoT apps
Language:Alloy7 3 32