I can add rules by writing to an xml file like described in the "Writing Rules" document but i would like to add rules like: Array 'a[10]' accessed at index 10, which is out of bounds. Which decides the "10" in the code. Thanks in advance.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I can add rules by writing to an xml file like described in the "Writing Rules" document but i would like to add rules like: Array 'a[10]' accessed at index 10, which is out of bounds. Which decides the "10" in the code. Thanks in advance.
the xml format rules is a very old feature. I am not sure how much longer we will keep that. I strongly recommend using --addon instead.