awesome/cpp
1
0
Fork 0
mirror of https://github.com/fffaraz/awesome-cpp.git synced 2024-11-13 11:16:54 -05:00
Code Activity

Update README.md

Browse source 
Add OptView2
This commit is contained in:
Ofek 2022-05-10 17:03:32 +03:00 committed by GitHub
parent ef7f5fa7db
commit eba29710b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
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. * [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] * [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. * [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 ## Coding Style Tools