search

CSBonLaboratory / Unikraft-Scanner

1 stars 0 forks source link

Coverity defects in header files are ignored #5

Open CSBonLaboratory opened 1 month ago

CSBonLaboratory commented 1 month ago

While running the analysis for sqlite 3.40 qemu x86_64, in the log file I've got the error:

[add_app.py:314 - insert_defects_in_db() ] No such source .unikraft/unikraft/lib/posix-fdtab/fmap.h featured in defect {'provider': 'Coverity', 'displayFile': '.unikraft/unikraft/lib/posix-fdtab/fmap.h', 'lineNumber': 302, 'displayImpact': 'Medium', 'displayCategory': 'Integer handling issues', 'checker': 'NO_EFFECT', 'id': 359035, 'cid': 359035, 'status': 'New', 'classification': 'Unclassified', 'severity': 'Unspecified', 'action': 'Undecided', 'owner': 'Unassigned', 'ownerId': -1, 'displayFunction': 'uk_fmap_critical_take', 'firstDetected': '04/06/24', 'lastFixed': '05/02/24', 'lastDetected': '05/02/24', 'lastTriaged': '2024-05-02 19:23:41', 'subcategory': '', 'domain': '', 'externalReference': '', 'comment': '', 'mergeKey': '', 'displayComponent': 'Other', 'firstSnapshotDate': '05/02/24', 'firstSnapshotId': -1, 'firstSnapshotVersion': '', 'firstSnapshotTarget': '', 'firstSnapshotDescription': '', 'firstSnapshotStream': '', 'lastDetectedId': -1, 'lastDetectedVersion': '', 'lastDetectedTarget': '', 'lastDetectedDescription': '', 'lastDetectedStream': '', 'occurrenceCount': 1, 'lastDefectInstanceId': 9906531, 'displayType': 'Macro compares unsigned to 0', 'cwe': 570, 'fixTarget': '', 'displayIssueKind': '', 'ownerFullName': '', 'mergeExtra': '', 'functionMergeName': '', 'legacy': '', 'displayComparison': '', 'displayFirstDetectedBy': 'Snapshot', 'committed': True, 'fileLanguage': '', 'ruleStrength': '', 'score': '', 'lastTriagedUser': '', 'mergedDefectId': 359035, 'lastTriageComment': '', 'fileInstanceId': 133094236, 'SA_10001': '', 'SA_10002': '', 'SA_10003': '', 'SA_10004': '', 'SA_10006': '', 'SA_10008': '', 'SA_10009': '', 'SA_10010': '', 'SA_10011': '', 'SA_10021': '', 'SA_10041': '', 'SA_10061': '', 'SA_10062': '', 'SA_10063': '', 'SA_10064': '', 'SA_10081': '', 'SA_10082': '', 'SA_10083': '', 'SA_10101': '', 'SA_10102': '', 'SA_10121': '', 'SA_10122': '', 'SA_10123': '', 'SA_10124': '', 'SA_10125': '', 'SA_10126': '', 'projectId': 15201, 'pivotKey': 'cid', 'compilation_tag': 'SQLite 2 FULL'}. Ignore this defect and do not add in db

CSBonLaboratory commented 1 month ago

It seems that the tool does not analyze *.h files.