Polyspace CodeProver – reanalyze only differences
3 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (2)
Cindy Solomon
il 27 Lug 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 Commenti
Alexandre De Barros
il 31 Lug 2015
Modificato: Alexandre De Barros
il 31 Lug 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 Commenti
Vedere anche
Categorie
Scopri di più su Options at Command Line Only in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!