@@ -38,6 +38,7 @@ along with GCC; see the file COPYING3. If not see
#include "stringpool.h"
#include "attribs.h"
#include "make-unique.h"
+#include "diagnostic-format-sarif.h"
#if ENABLE_ANALYZER
@@ -425,8 +426,14 @@ class overlapping_buffers
: public pending_diagnostic_subclass<overlapping_buffers>
{
public:
- overlapping_buffers (tree fndecl)
- : m_fndecl (fndecl)
+ overlapping_buffers (tree fndecl,
+ const symbolic_byte_range &byte_range_a,
+ const symbolic_byte_range &byte_range_b,
+ const svalue *num_bytes_read_sval)
+ : m_fndecl (fndecl),
+ m_byte_range_a (byte_range_a),
+ m_byte_range_b (byte_range_b),
+ m_num_bytes_read_sval (num_bytes_read_sval)
{
}
@@ -469,8 +476,25 @@ public:
m_fndecl);
}
+ void maybe_add_sarif_properties (sarif_object &result_obj)
+ const final override
+ {
+ sarif_property_bag &props = result_obj.get_or_create_properties ();
+#define PROPERTY_PREFIX "gcc/analyzer/overlapping_buffers/"
+ props.set (PROPERTY_PREFIX "bytes_range_a",
+ m_byte_range_a.to_json ());
+ props.set (PROPERTY_PREFIX "bytes_range_b",
+ m_byte_range_b.to_json ());
+ props.set (PROPERTY_PREFIX "num_bytes_read_sval",
+ m_num_bytes_read_sval->to_json ());
+#undef PROPERTY_PREFIX
+ }
+
private:
tree m_fndecl;
+ symbolic_byte_range m_byte_range_a;
+ symbolic_byte_range m_byte_range_b;
+ const svalue *m_num_bytes_read_sval;
};
@@ -517,7 +541,10 @@ call_details::complain_about_overlap (unsigned arg_idx_a,
if (!byte_range_a.intersection (byte_range_b, *model).is_true ())
return;
- ctxt->warn (make_unique<overlapping_buffers> (get_fndecl_for_call ()));
+ ctxt->warn (make_unique<overlapping_buffers> (get_fndecl_for_call (),
+ byte_range_a,
+ byte_range_b,
+ num_bytes_read_sval));
}
} // namespace ana
@@ -103,6 +103,12 @@ symbolic_byte_offset::dump (bool simple) const
pp_flush (&pp);
}
+json::value *
+symbolic_byte_offset::to_json () const
+{
+ return m_num_bytes_sval->to_json ();
+}
+
tree
symbolic_byte_offset::maybe_get_constant () const
{
@@ -156,6 +162,15 @@ symbolic_byte_range::dump (bool simple, region_model_manager &mgr) const
pp_flush (&pp);
}
+json::value *
+symbolic_byte_range::to_json () const
+{
+ json::object *obj = new json::object ();
+ obj->set ("start", m_start.to_json ());
+ obj->set ("size", m_size.to_json ());
+ return obj;
+}
+
bool
symbolic_byte_range::empty_p () const
{
@@ -39,6 +39,8 @@ public:
void dump_to_pp (pretty_printer *pp, bool) const;
void dump (bool) const;
+ json::value *to_json () const;
+
bool operator== (const symbolic_byte_offset &other) const
{
return m_num_bytes_sval == other.m_num_bytes_sval;
@@ -70,6 +72,8 @@ public:
region_model_manager &mgr) const;
void dump (bool, region_model_manager &mgr) const;
+ json::value *to_json () const;
+
bool empty_p () const;
symbolic_byte_offset get_start_byte_offset () const
Tested lightly by hand. Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Successful run of analyzer integration tests on x86_64-pc-linux-gnu. Pushed to trunk as r14-9899-g7a49d5dc0ef345. gcc/analyzer/ChangeLog: * call-details.cc: Include "diagnostic-format-sarif.h". (overlapping_buffers::overlapping_buffers): Add params for new fields. (overlapping_buffers::maybe_add_sarif_properties): New. (overlapping_buffers::m_byte_range_a): New field. (overlapping_buffers::byte_range_b): New field. (overlapping_buffers::m_num_bytes_read_sval): New field. (call_details::complain_about_overlap): Pass new params to overlapping_buffers ctor. * ranges.cc (symbolic_byte_offset::to_json): New. (symbolic_byte_range::to_json): New. * ranges.h (symbolic_byte_offset::to_json): New decl. (symbolic_byte_range::to_json): New decl. Signed-off-by: David Malcolm <dmalcolm@redhat.com> --- gcc/analyzer/call-details.cc | 33 ++++++++++++++++++++++++++++++--- gcc/analyzer/ranges.cc | 15 +++++++++++++++ gcc/analyzer/ranges.h | 4 ++++ 3 files changed, 49 insertions(+), 3 deletions(-)