MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
BSD 3-Clause "New" or "Revised" License
177
stars
12
forks
source link
Incorrect points-to signature for str{n,}dup #62
Open
langston-barrett opened 1 year ago
https://github.com/GaloisInc/MATE/blob/ba73c5745c55aba92fa28b4d867bf9faf96e0085/default-signatures.yml#L2598
and
https://github.com/GaloisInc/MATE/blob/ba73c5745c55aba92fa28b4d867bf9faf96e0085/default-signatures.yml#L2623
are incorrect:
str{n,}dup
returns a fresh allocation that doesn't alias anything.