Community Profile

photo

Nideesh Madhu


Last seen: 6 meses ago Active since 2021

Statistics

  • Thankful Level 1

View badges

Content Feed

View by

Question


How to give data ranges to function parameters which are pointers
While running code prover I got so many Orange warnings and was trying to reduce them by giving data ranges to function input p...

7 meses ago | 1 answer | 0

1

answer

Question


Code Prover warning 'Illegally dereferenced pointer'
While running the code prover i got same Orange warning on many places in the code. For example in the function, void DD_XYZ_In...

7 meses ago | 1 answer | 0

1

answer