Download Paper - STS

7 Future Work & Conclusion
additional options only the forward analysis and warning removal from our analysis gets
applied.
Further, we have tested our plug-in in combination with other Frama-C plug-ins.
During our evaluation with test suites from the SAMATE project of NIST, we could
remove up to 60% of the warnings. From these 60%, our enhancements could remove
about 20%. The path sensitivity and the linear constraint solver contributed the most to
the 20%. However, our backwards analysis inserted more warnings than we could remove
using the inserted warnings. In our future work, we outlined how we could change the
backward analysis so that it does not worsen the result anymore. In conclusion, we have
a working Frama-C plug-in with enhancements that improve our result. By applying
our plug-in, the manual review time can be reduced since we can drastically lower the
number of warnings we have to look at.
72