Content deleted Content added
→software anomalies: Reply |
|||
Line 17:
==link to [[Algorithmic efficiency]] should be added==
A link to the above page should be added to this one somewhere I think. --[[User:Bernard François|Bernard François]] 21:06, 2 January 2007 (UTC)
:Hi, your comment is over a decade old now without replies. I don't see the correlation between SCA and Algo efficiency. If you want this topic, I think there needs to be more than linking. I bet there is research on how static analysis, which leads to better code, does improve software, but does it really improve (efficiency) an algorithm? I have a different understanding of that. SCA doesn't verify the algorithm either, neither does it change or suggest on the nature of the algorithm. I have yet to learn about a SCA tool (and lists, such as MISRA) that have influence on algorithms. SCA has influence on the software of course, and that includes some performance aspects too, but should also be very limited as this is not the main goal of SCA. Thus, I call this comment done so we can step forward. If you have anything on this, please post again with good reasoning and references. {{done}} --[[User:17387349L8764|17387349L8764]] ([[User talk:17387349L8764|talk]]) 08:07, 6 April 2021 (UTC)
==Static checkers==
| |||