Merge pull request #1210 from OfekShilon/master

Add OptView2 - inspection of missed compiler optimizations
This commit is contained in:
Faraz Fallahi 2022-05-10 21:41:18 -04:00 committed by GitHub
commit fa166d5eca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1118,6 +1118,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny
* [Linticator](http://linticator.com) - Eclipse CDT integration of Pc-/FlexeLint.
* [IKOS](https://github.com/NASA-SW-VnV/ikos) - Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3]
* [List of tools for static code analysis](https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC.2B.2B) - A list of tools for static code analysis from Wikipedia.
* [OptView2](https://github.com/OfekShilon/optview2) - Inspect missed Clang optimizations
## Coding Style Tools