summaryrefslogtreecommitdiff
path: root/utils/analyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] exploded-graph-rewriter: Rename Environment to Expressions.Artem Dergachev2019-10-181-1/+1
* [analyzer] exploded-graph-rewriter: Fix dump for state 0.Artem Dergachev2019-10-181-2/+12
* [analyzer] Assign truly stable identifiers to exploded nodes.Artem Dergachev2019-10-171-18/+25
* [analyzer] Display cast kinds in program point dumps.Artem Dergachev2019-10-171-1/+5
* [analyzer] exploded-graph-rewriter: Make node headers a bit lighter.Artem Dergachev2019-10-171-1/+1
* [analyzer] exploded-graph-rewriter: Implement displaying Store pointers.Artem Dergachev2019-08-131-0/+4
* [analyzer] exploded-graph-rewriter: Implement manual graph trimming.Artem Dergachev2019-08-131-0/+54
* [analyzer] exploded-graph-rewriter: NFC: Refactor explorers into trimmers.Artem Dergachev2019-08-131-26/+33
* [analyzer] exploded-graph-rewriter: Open the converted graph immediately.Artem Dergachev2019-08-131-7/+62
* [analyzer] exploded-graph-rewriter: Improve source location dumps.Artem Dergachev2019-07-121-26/+38
* [analyzer] exploded-graph-rewriter: Fix filenames in program point.Artem Dergachev2019-07-111-2/+3
* [analyzer] exploded-graph-rewriter: Implement a topology-only mode.Artem Dergachev2019-07-081-8/+13
* [analyzer] exploded-graph-rewriter: Implement a single-path mode.Artem Dergachev2019-07-081-3/+41
* [analyzer] exploded-graph-rewriter: Implement a black-and-white color scheme.Artem Dergachev2019-07-031-11/+18
* [analyzer] exploded-graph-rewriter: Implement bug nodes and sink nodes.Artem Dergachev2019-07-031-0/+8
* [analyzer] exploded-graph-rewriter: NFC: Add more comments.Artem Dergachev2019-07-031-3/+25
* [analyzer] exploded-graph-rewriter: Collapse very long statement pretty-prints.Artem Dergachev2019-07-031-3/+20
* [analyzer] exploded-graph-rewriter: Implement checker messages.Artem Dergachev2019-07-031-9/+104
* [analyzer] exploded-graph-rewriter: Implement a dark color scheme.Artem Dergachev2019-07-021-11/+26
* [analyzer] exploded-graph-rewriter: Improve program point dumps.Artem Dergachev2019-07-021-7/+26
* [analyzer] exploded-graph-rewriter: Add support for objects under construction.Artem Dergachev2019-07-021-22/+52
* [analyzer] exploded-graph-rewriter: Add support for dynamic types.Artem Dergachev2019-07-011-17/+25
* [analyzer] exploded-graph-rewriter: Implement program point tags.Artem Dergachev2019-07-011-0/+6
* [analyzer] exploded-graph-rewriter: Prettier location context dumps.Artem Dergachev2019-06-261-1/+2
* [analyzer] print() JSONify: Create pointersCsaba Dabis2019-06-251-2/+4
* [analyzer] exploded-graph-rewriter: Fix escaping for bitwise-or.Artem Dergachev2019-06-251-1/+2
* [analyzer] exploded-graph-rewriter: Add support for range constraints.Artem Dergachev2019-06-251-2/+63
* [analyzer] NFC: exploded-graph-rewriter: Extract some code into functions.Artem Dergachev2019-06-251-19/+22
* [analyzer] exploded-graph-rewriter: Implement a --diff mode.Artem Dergachev2019-06-191-61/+218
* [analyzer] exploded-graph-rewriter: Fix escaping StringRegions.Artem Dergachev2019-06-191-0/+1
* [analyzer] exploded-graph-rewriter: Add the missing license header!Artem Dergachev2019-06-051-0/+9
* [analyzer] exploded-graph-rewriter: Initial commit.Artem Dergachev2019-06-021-0/+398
* [analyzer] SATestBuild.py: Use driver for analyzing single-file tests.Artem Dergachev2019-05-292-23/+6
* [analyzer] [testing] Inside CmpRuns.py output also print the filename of the ...George Karpenkov2019-02-051-1/+22
* Portable Python script across Python versionSerge Guelton2018-12-183-3/+3
* Portable Python script across Python versionSerge Guelton2018-12-182-4/+3
* Portable Python script across Python versionSerge Guelton2018-12-181-2/+2
* Portable Python script across Python versionSerge Guelton2018-12-185-36/+40
* Portable Python script across Python versionSerge Guelton2018-12-131-2/+5
* Portable Python script across versionSerge Guelton2018-12-031-5/+5
* Portable Python script across Python versionSerge Guelton2018-12-031-1/+1
* [analyzer] [testing] Compute data on path length, compute percentilesGeorge Karpenkov2018-10-231-0/+14
* [analyzer] [tests] Hotfix: missing spaceGeorge Karpenkov2018-10-021-1/+1
* [analyzer] [tests] Allow specifying entire -analyze-config on the command lin...George Karpenkov2018-10-021-14/+16
* [analyzer] [testing] Pass through an extra argument for specifying extra anal...George Karpenkov2018-09-271-16/+22
* [analyzer] Remove traces of ubigraph visualizationGeorge Karpenkov2018-09-061-76/+0
* [analyzer] [tests] Do not be verbose by default when updating reference results.George Karpenkov2018-08-071-1/+1
* [analyzer] [tests] Add an option for showing statistics after running tests.George Karpenkov2018-07-301-1/+3
* [analyzer] [tests] Style fixes for testing harness.George Karpenkov2018-07-302-14/+14
* [analyzer] [tests] Pass clang executable path to prefix-less executor scripts.George Karpenkov2018-07-021-0/+1
View Lorry Controller Status