Searched refs:taint_sm (Results 1 – 1 of 1) sorted by relevance
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
| H A D | sm-taint.cc | 861 const taint_state_machine &taint_sm = (const taint_state_machine &)*sm; in check_region_for_taint() local
884 if (taint_sm.get_taint (state, index->get_type (), &b)) in check_region_for_taint()
887 ctxt->warn (new tainted_array_index (taint_sm, arg, b)); in check_region_for_taint()
906 if (taint_sm.get_taint (state, effective_type, &b)) in check_region_for_taint()
909 ctxt->warn (new tainted_offset (taint_sm, arg, b)); in check_region_for_taint()
931 if (taint_sm.get_taint (state, size_sval->get_type (), &b)) in check_region_for_taint()
934 ctxt->warn (new tainted_size (taint_sm, arg, b, dir)); in check_region_for_taint()
968 const taint_state_machine &taint_sm = (const taint_state_machine &)*sm; in check_dynamic_size_for_taint() local
978 if (taint_sm.get_taint (state, size_in_bytes->get_type (), &b)) in check_dynamic_size_for_taint()
981 ctxt->warn (new tainted_allocation_size (taint_sm, arg, b, mem_space)); in check_dynamic_size_for_taint()
|