Age | Commit message (Expand) | Author | Files | Lines |
2025-01-02 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2024-11-27 | analyzer,timevar: avoid naked "new" in JSON-handling | David Malcolm | 1 | -1/+1 |
2024-11-22 | build: Remove INCLUDE_MEMORY [PR117737] | Andrew Pinski | 1 | -1/+0 |
2024-11-01 | analyzer: use std::unique_ptr in "to_json" functions | David Malcolm | 1 | -17/+15 |
2024-10-29 | diagnostics: support multiple output formats simultaneously [PR116613] | David Malcolm | 1 | -1/+1 |
2024-10-24 | analyzer: avoid implicit use of global_dc's pretty_printer [PR116613] | David Malcolm | 1 | -29/+34 |
2024-09-20 | analyzer: simplify dumps using tree_dump_pretty_printer [PR116613] | David Malcolm | 1 | -10/+2 |
2024-09-09 | diagnostics: rename dc.printer to m_printer [PR116613] | David Malcolm | 1 | -3/+3 |
2024-07-24 | analyzer: reduce use of naked "new" for json dumps | David Malcolm | 1 | -7/+6 |
2024-07-04 | analyzer: convert sm_context * to sm_context & | David Malcolm | 1 | -4/+4 |
2024-06-12 | pretty_printer: make all fields private | David Malcolm | 1 | -3/+3 |
2024-06-07 | analyzer: add logging to get_representative_path_var | David Malcolm | 1 | -1/+2 |
2024-06-01 | analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203] | David Malcolm | 1 | -1/+6 |
2024-05-30 | Add new text_art::tree_widget and use it in analyzer | David Malcolm | 1 | -3/+26 |
2024-05-03 | testsuite: fix analyzer C++ failures on Solaris [PR111475] | David Malcolm | 1 | -1/+1 |
2024-03-23 | analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11... | David Malcolm | 1 | -0/+7 |
2024-02-29 | analyzer: fix ICE in call summarization [PR114159] | David Malcolm | 1 | -41/+42 |
2024-01-24 | analyzer: fix taint false +ve due to overzealous state purging [PR112977] | David Malcolm | 1 | -1/+1 |
2024-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2023-12-11 | analyzer: fix uninitialized bitmap [PR112955] | David Malcolm | 1 | -0/+1 |
2023-12-06 | analyzer: fix taint false positives with UNKNOWN [PR112850] | David Malcolm | 1 | -0/+5 |
2023-12-06 | diagnostics: prettify JSON output formats | David Malcolm | 1 | -1/+1 |
2023-12-01 | diagnostics, analyzer: add optional per-diagnostic property bags to SARIF | David Malcolm | 1 | -9/+6 |
2023-11-18 | analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573] | David Malcolm | 1 | -1/+2 |
2023-11-17 | analyzer: new warning: -Wanalyzer-infinite-loop [PR106147] | David Malcolm | 1 | -34/+88 |
2023-09-15 | analyzer: introduce pending_location | David Malcolm | 1 | -9/+19 |
2023-09-14 | analyzer: use unique_ptr for rejected_constraint | David Malcolm | 1 | -8/+8 |
2023-08-30 | analyzer: implement reference count checking for CPython plugin [PR107646] | Eric Feng | 1 | -3/+5 |
2023-08-24 | analyzer: add logging to impl_path_context | David Malcolm | 1 | -2/+11 |
2023-08-21 | analyzer: add ability for context to add events to a saved_diagnostic | David Malcolm | 1 | -0/+8 |
2023-06-21 | analyzer: add text-art visualizations of out-of-bounds accesses [PR106626] | David Malcolm | 1 | -2/+2 |
2023-02-21 | analyzer: stop exploring the path after certain diagnostics [PR108830] | David Malcolm | 1 | -5/+24 |
2023-02-15 | analyzer: fix uninit false +ves [PR108664,PR108666,PR108725] | David Malcolm | 1 | -11/+19 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-12-02 | analyzer: introduce struct event_loc_info | David Malcolm | 1 | -29/+34 |
2022-11-30 | analyzer: unify bounds-checking class hierarchies | David Malcolm | 1 | -19/+5 |
2022-11-22 | analyzer: eliminate region_model::impl_call_* special cases | David Malcolm | 1 | -4/+1 |
2022-11-18 | analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582] | David Malcolm | 1 | -4/+10 |
2022-11-16 | analyzer: log the stashing of named constants [PR107711] | David Malcolm | 1 | -16/+34 |
2022-11-16 | analyzer: use known_function to simplify region_model::on_call_{pre,post} | David Malcolm | 1 | -0/+2 |
2022-11-15 | analyzer: add warnings relating to sockets [PR106140] | David Malcolm | 1 | -19/+41 |
2022-11-15 | c, analyzer: support named constants in analyzer [PR106302] | David Malcolm | 1 | -0/+1 |
2022-11-11 | analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147] | David Malcolm | 1 | -1/+6 |
2022-11-10 | analyzer: new warning: -Wanalyzer-deref-before-check [PR99671] | David Malcolm | 1 | -0/+16 |
2022-11-03 | analyzer: use std::unique_ptr for state machines from plugins | David Malcolm | 1 | -2/+2 |
2022-11-03 | analyzer: use std::unique_ptr for known functions | David Malcolm | 1 | -2/+2 |
2022-11-03 | analyzer: use std::unique_ptr during bifurcation | David Malcolm | 1 | -10/+8 |
2022-11-03 | analyzer: use std::unique_ptr for checker_event | David Malcolm | 1 | -18/+22 |
2022-11-03 | analyzer: use std::unique_ptr for feasibility_problems and exploded_path | David Malcolm | 1 | -4/+5 |
2022-11-03 | analyzer: use std::unique_ptr for custom_edge_info pointers | David Malcolm | 1 | -33/+19 |