Incremental Analysis of Side Effects for C Software Systems | IEEE Conference Publication | IEEE Xplore