Software verification 1

In Technology

Funding on Kickstarter  

Rewards

Sweden

Speedup development of software verification; division by zero - Software verification in CppcheckI intend to add software verification for C and C++ in Cppcheck.In "verification" mode, Cppcheck will warn if it cannot be proven that the code is safe. There will be noise.Speeding up developmentThis Kickstarter project will speed up the development of software verification. I intend to add this analysis anyway but it will take longer time without funding.  If the funding goal is reached I can take time off from my day work and implement this analysis.My planSoftware verification w ...

Read More ill be added step by step.The first step is to focus on "division by zero". It's a relatively simple checker. Each function will be checked separately and it will be assumed that all input data can have arbitrary values. If division or modulo arithmetics is seen in a f

View The Project: https://www.kickstar...re-verification-1