|
Revision 294
(checked in by rachel, 8 years ago)
|
how to do a coverity run
|
| Line | |
|---|
| 1 |
OpenPGP:SDK has been run through coverity using the following options and |
|---|
| 2 |
commands. |
|---|
| 3 |
|
|---|
| 4 |
$ svn co svn://openpgp.nominet.org.uk/openpgpsdk/trunk openpgpsdk |
|---|
| 5 |
|
|---|
| 6 |
DO INITIAL CONFIGURATION |
|---|
| 7 |
|
|---|
| 8 |
$ ./configure |
|---|
| 9 |
|
|---|
| 10 |
BUILD COVERITY SOURCE: |
|---|
| 11 |
|
|---|
| 12 |
$ cd src |
|---|
| 13 |
src$ cov-build --dir ../coverity/ make |
|---|
| 14 |
|
|---|
| 15 |
ANALYZE: |
|---|
| 16 |
|
|---|
| 17 |
src$ cd ../coverity |
|---|
| 18 |
coverity$ cov-analyze -e emit/ --outputdir output/ --enable VOLATILE --security --enable CHROOT --enable OPEN_ARGS --enable SECURE_CODING --enable SECURE_TEMP --enable TAINTED_POINTER --enable TOCTTOU |
|---|
| 19 |
|
|---|
| 20 |
COMMIT ERRORS TO COVERITY DATABASE: |
|---|
| 21 |
|
|---|
| 22 |
coverity$ cov-commit-errors -e ./emit -o ./output -d ./database/ --name <username> |
|---|
| 23 |
|
|---|
| 24 |
|
|---|
