Search Results for "tau-analyzer-setup"

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance. Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. Infer checks for null pointer dereferences, memory leaks, coding conventions...

Allows to use Cppcheck static analyzer tool in Qt Creator IDE. Sources can be obtained here: https://github.com/OneMoreGres/qtc-cppcheck IMPORTANT: plugin's version must match Qt Creator's version (difference in last digit is acceptable) Then plugin must be enabled in Help->Modules menu.

CoFlo generates Control-Flow Graphs from C and C++ source code. It can then output the graphs in a number of ways and perform various control flow analyses. NOTE: CoFlo has not been under active development for several years. At this time, I suggest you look into LLVM-based tooling to see if there is anything similar to CoFlo which will meet your needs.

Unused #includes in C++ source lead to unwanted dependencies and slower compile and link timings. IncludeChecker finds most of these unused #includes using a simple heuristic: if you include a file, you need to use one or more symbols from it. If that's not the case, IncludeChecker will mark the #include as unused. IncludeChecker is very customizable to be able to run as an automated task where it will fail as soon as an unused #include is detected. Because of the simple heuristic...

Simple library to parse C++ header files and retrieve a list with the description of the elements defined. The initial purpose of the project was the creation of a tool to check the syntax of header belonging to a given project.