This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision |
| coverityprevent [2020/10/31 01:52] – Remove 1 broken link. SashaVigole | coverityprevent [2020/10/31 01:53] (current) – Remove hyperlink from a broken link. SashaVigole |
|---|
| ==== Modeling ==== | ==== Modeling ==== |
| |
| | * ''%%https://scan.coverity.com/Coverity Modeling Reference%%'' (This link is broken) |
| * [[https://scan.coverity.com/models|Models and Annotations]] | * [[https://scan.coverity.com/models|Models and Annotations]] |
| * [[https://community.synopsys.com/s/article/How-to-write-a-function-model-to-eliminate-a-false-positive-in-a-C-applilcation|Synopsys: How to write a function model to eliminate a false positive in a C application]] | * [[https://community.synopsys.com/s/article/How-to-write-a-function-model-to-eliminate-a-false-positive-in-a-C-applilcation|Synopsys: How to write a function model to eliminate a false positive in a C application]] |