| 2023-12-08 |
David Malcolm | analyzer: fix ICE for 2 bits before the start of base...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-12-07 |
David Malcolm | analyzer: fix taint false positives with UNKNOWN [PR112850]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-12-06 |
David Malcolm | diagnostics: prettify JSON output formats
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-12-06 |
David Malcolm | diagnostics: use const and references for diagnostic_info
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-12-01 |
David Malcolm | diagnostics, analyzer: add optional per-diagnostic...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-12-01 |
David Malcolm | docs: remove stray reference to -fanalyzer-checker...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-28 |
David Malcolm | analyzer: install header files for use by plugins ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-28 |
David Malcolm | diagnostics: don't print annotation lines when there...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-28 |
David Malcolm | diagnostics: add diagnostic_context::get_location_text
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-19 |
David Malcolm | libcpp: split decls out to rich-location.h
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-19 |
David Malcolm | analyzer: new warning: -Wanalyzer-undefined-behavior...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-18 |
David Malcolm | analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-16 |
David Malcolm | diagnostics: make m_lang_mask private
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-15 |
David Malcolm | json.cc: use SELFTEST_LOCATION in selftests
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | analyzer: enable taint state machine by default [PR103533]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | diagnostics: make option-handling callbacks private
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | diagnostics: make m_text_callbacks private
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | diagnostics: convert diagnostic_ready_p to an inline...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | input.h: eliminate implicit users of global_dc's file_cache
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-14 |
David Malcolm | json: reduce use of naked new in json-building code
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-09 |
David Malcolm | diagnostics: cleanups to diagnostic-show-locus.cc
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-06 |
David Malcolm | diagnostics: split out struct diagnostic_source_printing_options
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-06 |
David Malcolm | diagnostics: introduce class diagnostic_option_classifier
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-06 |
David Malcolm | diagnostics: make diagnostic_context::m_urlifier private
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-06 |
David Malcolm | diagnostics: eliminate diagnostic_kind_count
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-04 |
David Malcolm | diagnostics: add automatic URL-ification within messages
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-04 |
David Malcolm | diagnostics: convert diagnostic_context to a class
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-03 |
David Malcolm | diagnostics: consolidate group-handling fields in diagnostic...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-11-02 |
David Malcolm | analyzer: fix clang warnings [PR112317]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-31 |
David Malcolm | analyzer: move class record_layout to its own .h/.cc
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-31 |
David Malcolm | libcpp: eliminate MACRO_MAP_EXPANSION_POINT_LOCATION
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-31 |
David Malcolm | opts.cc: fix comment about DOCUMENTATION_ROOT_URL
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-31 |
David Malcolm | pretty-print: gracefully handle null URLs
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-26 |
David Malcolm | Add attribute((null_terminated_string_arg(PARAM_IDX)))
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-25 |
Vibhav Pant | jit: dump string literal initializers correctly
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-16 |
David Malcolm | diagnostics: special-case -fdiagnostics-text-art-charset...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-16 |
David Malcolm | diagnostics: fix missing initialization of context...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-09 |
David Malcolm | analyzer: fix build with gcc < 6
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | libcpp: eliminate LINEMAPS_{ORDINARY,MACRO}_MAPS
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | libcpp: eliminate LINEMAPS_{,ORDINARY_,MACRO_}CACHE
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | libcpp: eliminate LINEMAPS_LAST_ALLOCATED{,_ORDINARY...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | analyzer: improvements to out-of-bounds diagrams [PR111155]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | libcpp: eliminate COMBINE_LOCATION_DATA
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | libcpp: "const" and other cleanups
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-08 |
David Malcolm | diagnostics: fix ICE on sarif output when source file...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-03 |
David Malcolm | c++: print source code in print_instantiation_partial_contex...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-03 |
David Malcolm | diagnostics: add ctors to text_info; add m_ prefixes...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-02 |
David Malcolm | diagnostics: add diagnostic_output_format class
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-02 |
David Malcolm | diagnostics: group together source printing fields...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-10-02 |
David Malcolm | diagnostics: fix missing init of set_locations_cb
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-15 |
David Malcolm | analyzer: support diagnostics that don't have a stmt
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-15 |
David Malcolm | analyzer: introduce pending_location
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-15 |
David Malcolm | analyzer: handle volatile ops
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-14 |
David Malcolm | diagnostics: support multithreaded diagnostic paths
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-14 |
David Malcolm | analyzer: fix missing return in compatible_epath_p
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-14 |
David Malcolm | analyzer: use unique_ptr for rejected_constraint
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-14 |
David Malcolm | ggc, jit: forcibly clear GTY roots in jit
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-07 |
David Malcolm | analyzer: basic support for computed gotos (PR analyzer...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-07 |
David Malcolm | analyzer: fix -Wunused-parameter warnings
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-06 |
David Malcolm | analyzer: implement kf_strstr [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-06 |
David Malcolm | analyzer: implement kf_strncpy [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-09-06 |
David Malcolm | analyzer: add ctxt to fill_region/zero_fill_region
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-29 |
David Malcolm | analyzer: new warning: -Wanalyzer-overlapping-buffers...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-29 |
Guillaume Gomez | libgccjit: add support for `restrict` attribute on...
|
commit | commitdiff | tree |
| 2023-08-29 |
David Malcolm | analyzer: improve strdup handling [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-25 |
David Malcolm | analyzer: fix ICE in text art strings support
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: implement kf_strcat [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: handle strlen(BITS_WITHIN) [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: handle INIT_VAL(ELEMENT_REG(STRING_REG),...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: handle strlen(INIT_VAL(STRING_REG)) [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: reimplement kf_memcpy_memmove
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: eliminate region_model::get_string_size ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: reimplement kf_strcpy [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: handle symbolic bindings in scan_for_null_terminat...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-24 |
David Malcolm | analyzer: add logging to impl_path_context
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: reimplement kf_strlen [PR105899]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: check format strings for null termination...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: add kf_fopen
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: replace -Wanalyzer-unterminated-string with...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: handle NULL inner context in region_model_context_...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: add ability for context to add events to...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-22 |
David Malcolm | analyzer: convert note_adding_context to annotating_context
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-11 |
David Malcolm | analyzer: new warning: -Wanalyzer-unterminated-string...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-09 |
David Malcolm | analyzer: remove default return value from region_model...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-04 |
David Malcolm | analyzer: handle function attribute "alloc_size" [PR110426]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-04 |
David Malcolm | analyzer: fix some svalue::dump_to_pp implementations
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-03 |
David Malcolm | testsuite, analyzer: add test case [PR108171]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-03 |
David Malcolm | analyzer: fix ICE on zero-sized arrays [PR110882]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-08-02 |
Eric Feng | analyzer: stash values for CPython plugin [PR107646]
|
commit | commitdiff | tree |
| 2023-07-31 |
David Malcolm | SARIF and -ftime-report's output [PR109361]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-07-26 |
David Malcolm | analyzer: add symbol base class, moving region id to...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-07-21 |
David Malcolm | analyzer: avoid usage of TYPE_PRECISION on vector types...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-07-21 |
David Malcolm | analyzer/text-art: fix clang warnings [PR110433,PR110612]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-07-21 |
David Malcolm | analyzer: fix ICE on certain pointer subtractions ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-07-19 |
David Malcolm | analyzer: fix ICE on division of tainted floating-point...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-06-30 |
David Malcolm | jit.exp: handle dwarf version mismatch in jit-check...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-06-30 |
David Malcolm | jit: avoid using __vector in testcase [PR110466]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-06-24 |
David Malcolm | text-art: remove explicit #include of C++ standard...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-06-23 |
David Malcolm | c++: provide #include hint for missing includes [PR110164]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
| 2023-06-22 |
David Malcolm | analyzer: add text-art visualizations of out-of-bounds...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
|
commit | commitdiff | tree |
