Polyspace CodeProver – reanalyze only differences
3 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
Hi, May tools have the concepts re-build(take everything from scratch) and build ( look only to the differences).
Can we do something like this in CodeProver?
If not, can we submit such a change request?
Best Regards,
Daniel
0 Kommentare
Antworten (2)
Cindy Solomon
am 27 Jul. 2015
Hi Daniel,
This functionality is not currently available in Polyspace, but I work for MathWorks and have forwarded your feedback to the appropriate product team. Thank you for the suggestion!
0 Kommentare
Alexandre De Barros
am 31 Jul. 2015
Bearbeitet: Alexandre De Barros
am 31 Jul. 2015
Hi Daniel!
There is no such thing yet because when you want to prove that everything is safe, it is not as easy as it may appear.
Why ? Because even if you change one file, this little change can impact the rest of the application.
For example, it could be a change that would eventually lead to a new function call, and if the call tree changes, the whole application can change (unreachable code can become reachable, global variables can have different values, etc...)
Hence, this feature requires to compute the impact and for that you need to interpret the code, it's not only detecting what has changed since the last verification.
Regards,
Alexandre
0 Kommentare
Siehe auch
Kategorien
Mehr zu Options at Command Line Only finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!