semgrep-नियम

"हमला सतह ही कमजोरी है। वहाँ बग ढूंढना सिर्फ एक विस्तार है।"

-- Mark Dowd

"कुछ विवरण दूसरों से अधिक महत्वपूर्ण हैं।"

-- Fedor G. Pikus

मेरे Semgrep नियमों का एक संग्रह जो कमजोरी अनुसंधान को सुविधाजनक बनाता है।

ब्लॉग पोस्ट

• https://hnsecurity.it/blog/semgrep-ruleset-for-c-c-vulnerability-research
• https://hnsecurity.it/blog/automating-binary-vulnerability-discovery-with-ghidra-and-semgrep
• https://hnsecurity.it/blog/big-update-to-my-semgrep-c-cpp-ruleset
• https://hnsecurity.it/blog/streamlining-vulnerability-research-with-the-idalib-rust-bindings-for-ida-9-2/
• https://hnsecurity.it/blog/my-semgrep-c-cpp-ruleset-is-ready-for-prime-time-again/

यह भी देखें

• https://appsec.guide/docs/static-analysis/semgrep/
• https://semgrep.dev/docs/writing-rules/overview
• https://semgrep.dev/r

सेटअप और उपयोग निर्देश

1. Semgrep स्थापित करें।
2. इन नियमों का उपयोग Semgrep रजिस्ट्री के माध्यम से करने के लिए, अपने लक्ष्य स्रोत कोड रिपॉजिटरी के रूट फ़ोल्डर से निम्नलिखित चलाएँ:

# high priority scan (quick wins)
semgrep --severity ERROR --config "p/0xdea"

# high and medium priority scan (recommended)
semgrep --severity ERROR --severity WARNING --config "p/0xdea"

# full scan (might include marginal findings and more false positives)
semgrep --config "p/0xdea"

वैकल्पिक रूप से, आप इस GitHub रिपॉजिटरी को स्थानीय रूप से क्लोन कर सकते हैं और चला सकते हैं:

# full scan
semgrep --config semgrep-rules/rules /path/to/source

# specific rule scan
semgrep --config semgrep-rules/rules/c/command-injection.yaml /path/to/source

[!TIP] --no-git-ignore स्विच निर्दिष्ट करें ताकि फ़ाइलों को git ट्रैकिंग स्थिति या .gitignore नियमों की परवाह किए बिना स्कैन किया जा सके।

बेहतर सुव्यवस्थित अनुभव के लिए, मैं Semgrep स्कैन आउटपुट को SARIF प्रारूप में सहेजने और VS Code में SARIF Explorer का उपयोग करने की सलाह देता हूँ:

semgrep --sarif --sarif-output=/path/to/source/SEMGREP.sarif --config semgrep-rules/rules /path/to/source
code /path/to/source # then open the SEMGREP.sarif file in VS code with SARIF Explorer 

शामिल SARIF आउटपुट उदाहरण भी देखें।

अनुकूलता

Semgrep CLI 1.169.0 के साथ परीक्षण किया गया।

नियम

C/C++

युद्ध-परीक्षित C (और कभी-कभी C++) नियम सेट।

बफर ओवरफ्लो

• insecure-api-gets. असुरक्षित API फ़ंक्शन gets का उपयोग।
• insecure-api-strcpy-strcat. संभावित रूप से असुरक्षित API फ़ंक्शन strcpy, stpcpy, strcat का उपयोग।
• insecure-api-sprintf-vsprintf. संभावित रूप से असुरक्षित API फ़ंक्शन sprintf और vsprintf का उपयोग।
• insecure-api-scanf. scanf परिवार में संभावित रूप से असुरक्षित API फ़ंक्शन का उपयोग।
• incorrect-use-of-strncat. strncat को गलत आकार तर्क पारित किया गया।
• use-of-source-size-in-copy. strncpy, memcpy, snprintf, और वेरिएंट को गलत आकार तर्क पारित किया गया।
• incorrect-use-of-sizeof. इसके लक्ष्य के बजाय पॉइंटर पर sizeof ऑपरेटर का आकस्मिक उपयोग।
• unterminated-string-strncpy. strncpy और stpncpy के बाद स्पष्ट NUL-समाप्ति का अभाव।
• off-by-one. संभावित एक-से-कम त्रुटि।
• unsafe-ret-snprintf-vsnprintf. snprintf और vsnprintf के वापसी मान का संभावित रूप से असुरक्षित उपयोग।
• unsafe-ret-strlcpy-strlcat. strlcpy और strlcat के वापसी मान का संभावित रूप से असुरक्षित उपयोग।
• pointer-subtraction. आकार निर्धारित करने के लिए पॉइंटर घटाव का संभावित उपयोग।
• write-into-stack-buffer. स्टैक पर आवंटित बफर में सीधा लेखन।

पूर्णांक ओवरफ्लो

• integer-wraparound. संभावित पूर्णांक रैपअराउंड त्रुटियाँ।
• unsafe-strlen. strlen के वापसी मान को short में कास्ट करना खतरनाक हो सकता है।
• integer-truncation. संभावित पूर्णांक छोटा करने की त्रुटियाँ।
• signed-unsigned-conversion. संभावित signed/unsigned रूपांतरण त्रुटियाँ।
• incorrect-unsigned-comparison. यह जाँचना कि क्या एक अहस्ताक्षरित चर ऋणात्मक है।

प्रारूप स्ट्रिंग

• format-string-bugs. संभावित प्रारूप स्ट्रिंग बग।

मेमोरी प्रबंधन