summaryrefslogtreecommitdiffstats
path: root/tools/coverity
diff options
context:
space:
mode:
Diffstat (limited to 'tools/coverity')
-rw-r--r--tools/coverity/model.cpp128
1 files changed, 128 insertions, 0 deletions
diff --git a/tools/coverity/model.cpp b/tools/coverity/model.cpp
new file mode 100644
index 000000000..32dc5a427
--- /dev/null
+++ b/tools/coverity/model.cpp
@@ -0,0 +1,128 @@
+/*
+Coverity model file in order to avoid false-positive
+*/
+
+#define NULL (void *)0
+
+typedef unsigned char jsbytecode;
+typedef unsigned short uint16_t;
+typedef unsigned int uint32_t;
+typedef unsigned int int32_t;
+typedef unsigned char uint8_t;
+
+static const uint16_t CHUNK_HEAD_SIZE = 8;
+
+void assert(bool expr) {
+ if (!expr) {
+ __coverity_panic__();
+ }
+}
+
+#define ERREXIT(cinfo, err) __coverity_panic__();
+
+void MOZ_ASSUME_UNREACHABLE(char * str) {
+ __coverity_panic__();
+}
+
+static void MOZ_ReportAssertionFailure(const char* aStr, const char* aFilename,
+ int aLine) {
+ __coverity_panic__();
+}
+
+static void MOZ_ReportCrash(const char* aStr, const char* aFilename,
+ int aLine) {
+ __coverity_panic__();
+}
+
+#define MOZ_ASSERT(expr, msg) assert(!!(expr))
+
+#define MOZ_ASSERT(expr) assert(!!(expr))
+
+#define NS_ASSERTION(expr, msg) assert(!!(expr))
+
+#define PORT_Assert(expr) assert(!!(expr))
+
+#define PR_ASSERT(expr) assert(!!(expr))
+
+int GET_JUMP_OFFSET(jsbytecode* pc) {
+ __coverity_tainted_data_sanitize__(&pc[1]);
+ __coverity_tainted_data_sanitize__(&pc[2]);
+ __coverity_tainted_data_sanitize__(&pc[3]);
+ __coverity_tainted_data_sanitize__(&pc[4]);
+
+ return 0;
+}
+
+
+// Data sanity checkers
+#define XPT_SWAB16(data) __coverity_tainted_data_sanitize__(&data)
+
+#define XPT_SWAB32(data) __coverity_tainted_data_sanitize__(&data)
+
+
+static unsigned GET_UINT24(const jsbytecode* pc) {
+ __coverity_tainted_data_sanitize__(static_cast<void*>(pc));
+ //return unsigned((pc[1] << 16) | (pc[2] << 8) | pc[3]);
+ return 0;
+}
+
+
+class HeaderParser {
+
+private:
+ class ChunkHeader {
+
+ uint8_t mRaw[CHUNK_HEAD_SIZE];
+
+ HeaderParser::ChunkHeader::ChunkSize() const {
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&mRaw[4]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&mRaw[5]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&mRaw[6]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&mRaw[7]));
+
+ return ((mRaw[7] << 24) | (mRaw[6] << 16) | (mRaw[5] << 8) | (mRaw[4]));
+ }
+ };
+};
+
+void NS_DebugBreak(uint32_t aSeverity, const char* aStr, const char* aExpr,
+ const char* aFile, int32_t aLine) {
+ __coverity_panic__();
+}
+
+static inline void Swap(uint32_t* value) {
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&value));
+ *value = (*value >> 24) |
+ ((*value >> 8) & 0x0000ff00) |
+ ((*value << 8) & 0x00ff0000) |
+ (*value << 24);
+}
+
+static uint32_t xtolong (const uint8_t *ll) {
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ll[0]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ll[1]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ll[2]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ll[3]));
+
+ return (uint32_t)( (ll [0] << 0) |
+ (ll [1] << 8) |
+ (ll [2] << 16) |
+ (ll [3] << 24) );
+}
+
+class ByteReader {
+public:
+ const uint8_t* Read(size_t aCount);
+ uint32_t ReadU24() {
+ const uint8_t *ptr = Read(3);
+ if (!ptr) {
+ MOZ_ASSERT(false);
+ return 0;
+ }
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ptr[0]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ptr[1]));
+ __coverity_tainted_data_sanitize__(static_cast<void*>(&ptr[2]));
+ return ptr[0] << 16 | ptr[1] << 8 | ptr[2];
+ }
+};
+