3. VS Code में: File -> **Open Workspace from File...** `vscode-codeql-starter.code-workspace`
4. [CodeQL डेटाबेस चुनने](#select-codeql-database) पर आगे बढ़ें
5. फिर [अपनी इंस्टॉलेशन का परीक्षण करें](#test-your-installation)

### विकल्प B: GitHub Codespace

कार्यशाला अभ्यासों पर काम करने के लिए एक दूरस्थ GitHub Codespace का उपयोग करें।

#### पूर्वापेक्षाएँ

* GitHub खाता ([साइन अप करें](https://github.com/) निःशुल्क)
* ब्राउज़र (आप पूरी कार्यशाला ब्राउज़र में कर सकते हैं - यह सबसे तेज़ तरीका है) या [Visual Studio Code](https://code.visualstudio.com/download) (VS Code) जिसमें आपकी स्थानीय मशीन पर [GitHub Codespaces](https://marketplace.visualstudio.com/items?itemName=GitHub.codespaces) एक्सटेंशन स्थापित हो।

नोट: Codespace उपयोग के पहले 120 घंटे प्रति कोर प्रति माह निःशुल्क हैं, हम इस कार्यशाला के लिए 4 कोर वाले codespace का उपयोग करते हैं क्योंकि मुफ्त खातों के लिए 4 कोर वर्तमान अधिकतम है। (यदि आपके पास Pro खाता है, तो हम 8-कोर मशीन पर स्विच करने की सलाह देते हैं।)

#### निर्देश

1. अपने [GitHub](https://github.com/login) खाते में लॉग इन करें
2. रेपो पर जाएँ https://github.com/sylwia-budzynska/codeql-workshop
3. Code -> Codespaces पर क्लिक करें
4. नया codespace बनाने के लिए प्लस चिह्न (+) पर क्लिक करें।

<img src="https://assets.kitploit.com/production/public/readmes/33098/c86e537f9e7891fb6bdb5da727cae5b6ad0b2c9ac94f67854d48296f2dad89cb.png"  width="439" alt="स्क्रीनशॉट: Codespace बनाएँ, प्लस पर क्लिक करें">

VS Code आपके ब्राउज़र में शुरू होगा और एक दूरस्थ Codespace बनाया जाएगा। इसमें कुछ मिनट लग सकते हैं।
यदि आपसे `vscode-codeql-starter.code-workspace` कार्यस्थान खोलने के लिए कहा जाए तो "Open Workspace" पर क्लिक करें।

5. यदि आप VS Code का स्थानीय रूप से उपयोग करना चाहते हैं, तो ऊपरी बाएँ कोने में तीन पंक्तियों वाले बटन को दबाएँ और "Open VS Code Desktop" चुनें। यह विकल्प दिखने में कुछ मिनट तक का समय ले सकता है।

<img src="https://assets.kitploit.com/production/public/readmes/33098/f2c8c2fe6da80142344b17c208da31a23c3fa68a3917a124f0e2f7871b6a20f7.png" width="300" alt="स्क्रीनशॉट: तीन पंक्तियों वाला बटन दबाएँ और VS Code Desktop में खोलें">

6. [CodeQL डेटाबेस चुनने](#select-codeql-database) पर आगे बढ़ें
7. फिर [अपनी इंस्टॉलेशन का परीक्षण करें](#test-your-installation)

आप अपने codespaces को [github.com/codespaces](https://github.com/codespaces) पर देख सकते हैं। कुछ घंटों तक उपयोग न करने पर codespace अपने आप बंद हो जाएगा, लेकिन यह सुनिश्चित करने के लिए कि आप 120h मुफ्त घंटों में से अतिरिक्त घंटों का उपयोग नहीं कर रहे हैं, कार्यशाला के बाद [github.com/codespaces](https://github.com/codespaces) > तीन बिंदु > "Stop codespace" पर जाना याद रखें।

#### इंस्टॉलेशन की समस्या निवारण

यदि आपको इस तरह की त्रुटियाँ दिखाई दें:
* `Failed to run query: Could not resolve library path for [..]`
* `Could not resolve module [..]`
* `Could not resolve type [..]`

यह बहुत संभव है कि आपने git सबमॉड्यूल्स (अर्थात् ql रेपो) क्लोन करना भूल गए हैं। इसे ठीक करने के लिए `git submodule init && git submodule update --recursive` चलाएँ।

### CodeQL डेटाबेस चुनें

1. सुनिश्चित करें कि VS Code में `vscode-codeql-starter.code-workspace` कार्यस्थान खुला है।
2. CodeQL दृश्य पर जाने के लिए बाएँ टैब फलक में "QL" आइकन पर क्लिक करें।
3. "Choose Database from Archive" पर क्लिक करें और रिपॉजिटरी के रूट में `test-app-db.zip` फ़ाइल चुनें।
   नोट: इस बिंदु पर आपको VSCode में CodeQL CLI स्थापित करने के लिए कहने वाले पॉप-अप संदेश के साथ एक त्रुटि मिल सकती है।  इस इंस्टॉल को स्वीकार करने से समस्या ठीक हो जानी चाहिए।  CLI इंस्टॉल समाप्त होने के बाद, आप उपरोक्त डेटाबेस चयन को पूरा करने में सक्षम होंगे।
   <img src="https://assets.kitploit.com/production/public/readmes/33098/65cc5790b8b49113623bc9a9b34a1be61575b05bea2428c46f83115e2271148b.png"  alt="स्क्रीनशॉट: CodeQL के संबंध में VSCode त्रुटि संदेश">
   <img src="https://assets.kitploit.com/production/public/readmes/33098/c3bf9c304d9c1f6199f591c9bcbf6e446ee4f5388ab209e30887326698129f84.png"  alt="स्क्रीनशॉट: VSCode CodeQL CLI स्थापित कर रहा है">

### अपने इंस्टॉलेशन का परीक्षण करें

#### पूर्वापेक्षाएँ

सुनिश्चित करें कि पहले चुना गया CodeQL डेटाबेस CodeQL दृश्य में चयनित है। (यदि नहीं, तो "Select" पर क्लिक करें)

जब डेटाबेस चयनित होता है, तो यह इस प्रकार दिखना चाहिए (चेकमार्क पर ध्यान दें):

<img src="https://assets.kitploit.com/production/public/readmes/33098/fee6e47c0d9b0754c7ac9e29e2f0b3a721093aa5ce882615b3839a99f4862506.png"  alt="स्क्रीनशॉट: CodeQL डेटाबेस चयनित">

#### निर्देश

1. VS Code में: कार्यस्थान फ़ोल्डर पर जाएँ: `codeql-custom-queries-python`
2. एक नई फ़ाइल बनाएँ `test.ql`
3. निम्नलिखित सामग्री जोड़ें: `select "Hello World!"`
4. फ़ाइल सहेजें, फ़ाइल क्षेत्र में राइट-क्लिक करें और "CodeQL: Run Query on Selected Database" चुनें
5. आपको परिणाम "Hello World!" के साथ एक नया टैब खुला देखना चाहिए

## :books: संसाधन

- [QL ट्यूटोरियल](https://codeql.github.com/docs/writing-codeql-queries/ql-tutorials/)
- [Python के लिए CodeQL भाषा गाइड](https://codeql.github.com/docs/codeql-language-guides/codeql-for-python/)
- [CodeQL दस्तावेज़ीकरण](https://codeql.github.com/docs/)
- [QL भाषा संदर्भ](https://codeql.github.com/docs/ql-language-reference/)
- [Python के लिए CodeQL लाइब्रेरी](https://codeql.github.com/codeql-standard-libraries/python/)
- [Python कोड के लिए मूल क्वेरी](https://codeql.github.com/docs/codeql-language-guides/basic-query-for-python-code/)
- [QL क्लासेस](https://codeql.github.com/docs/ql-language-reference/types/#classes)
- [CodeQL zero to hero भाग 1: भेद्यता अनुसंधान के लिए स्थैतिक विश्लेषण की मूल बातें](https://github.blog/2023-03-31-codeql-zero-to-hero-part-1-the-fundamentals-of-static-analysis-for-vulnerability-research/)
- [CodeQL zero to hero भाग 2: CodeQL के साथ शुरुआत](https://github.blog/2023-06-15-codeql-zero-to-hero-part-2-getting-started-with-codeql/)
- [CodeQL zero to hero भाग 3: सुरक्षा अनुसंधान](https://github.blog/2024-04-29-codeql-zero-to-hero-part-3-security-research-with-codeql/)
- [CodeQL zero to hero भाग 4: Gradio केस स्टडी](https://github.blog/security/vulnerability-research/codeql-zero-to-hero-part-4-gradio-framework-case-study/)
- [CodeQL zero to hero भाग 5: क्वेरी डीबग करना](https://github.blog/security/vulnerability-research/codeql-zero-to-hero-part-5-debugging-queries/)

## कार्यशाला

कार्यशाला "CodeQL के साथ भेद्यता खोजना" में आपका स्वागत है!

यह सत्र सॉफ़्टवेयर में भेद्यताएँ खोजते समय उपयोग किए जाने वाले सुरक्षा अनुसंधान और स्थैतिक विश्लेषण की मूल बातें प्रस्तुत करेगा। हम एक सरल भेद्यता के उदाहरण का उपयोग करेंगे, देखेंगे कि CodeQL इसे कैसे पहचान सकता है, और उदाहरण देंगे कि दर्शक स्वयं भेद्यताएँ खोजने के लिए CodeQL का उपयोग कैसे कर सकते हैं।

शुरू करने से पहले यह महत्वपूर्ण है कि सभी पूर्वापेक्षाएँ पूरी हों ताकि आप कार्यशाला में भाग ले सकें।

कार्यशाला कई खंडों में विभाजित है और प्रत्येक खंड में ऐसे अभ्यास हैं जो अंतिम क्वेरी तक ले जाते हैं।
प्रत्येक खंड के लिए हम *दिशानिर्देश* प्रदान करते हैं जो आपको QL क्लासेस और सदस्य प्रेडिकेट्स के संदर्भ देकर अभ्यास पूरा करने में मदद करते हैं जिनका आप उपयोग कर सकते हैं।

### अवलोकन

इस कार्यशाला में हम [kohya_ss](https://securitylab.github.com/advisories/GHSL-2024-019_GHSL-2024-024_kohya_ss/) में ज्ञात *कमांड इंजेक्शन भेद्यताओं* की तलाश करेंगे। ऐसी भेद्यताएँ तब हो सकती हैं जब उपयोगकर्ता द्वारा नियंत्रित जानकारी एप्लिकेशन कोड तक पहुँचती है जो असुरक्षित रूप से एक कमांड बनाता है और उसे निष्पादित करता है। उपयोगकर्ता इनपुट से असुरक्षित रूप से निर्मित कमांड को अनपेक्षित क्रियाएँ करने के लिए फिर से लिखा जा सकता है, जैसे मनमाना कमांड निष्पादन, संवेदनशील जानकारी का खुलासा।

इस कार्यशाला में चर्चित कमांड इंजेक्शन [CVE-2024-32022, CVE-2024-32026, CVE-2024-32025, CVE-2024-32027](https://securitylab.github.com/advisories/GHSL-2024-019_GHSL-2024-024_kohya_ss/) हैं।

## सिद्धांत

### स्रोत और सिंक

सबसे प्रसिद्ध भेद्यताओं में से एक के बारे में सोचें—कमांड इंजेक्शन। यह तब होता है जब उपयोगकर्ता इनपुट का उपयोग ऐसे कार्यों में किया जाता है, जो सर्वर पर सीधे शेल में कमांड चलाने की अनुमति देते हैं। यह एक हमलावर को एप्लिकेशन चला रहे सर्वर पर ऑपरेटिंग सिस्टम (OS) कमांड निष्पादित करने और आमतौर पर एप्लिकेशन और उसके डेटा से पूरी तरह समझौता करने की अनुमति देता है।

इंजेक्शन भेद्यताओं का मुख्य कारण प्रोग्राम के संवेदनशील या खतरनाक कार्यों में अविश्वसनीय, उपयोगकर्ता-नियंत्रित इनपुट का उपयोग किया जाना है। स्थैतिक विश्लेषण में इन्हें दर्शाने के लिए, हम डेटा प्रवाह, स्रोत और सिंक जैसे शब्दों का उपयोग करते हैं।

उपयोगकर्ता इनपुट आमतौर पर एप्लिकेशन के प्रवेश बिंदुओं से आता है—डेटा का मूल। इनमें HTTP विधियों के पैरामीटर शामिल हैं, जैसे GET और POST, या प्रोग्राम के कमांड लाइन तर्क। इन्हें “**स्रोत**” कहा जाता है।

अपने कमांड इंजेक्शन को जारी रखते हुए, एक खतरनाक फ़ंक्शन का उदाहरण जिसे बिना सैनिटाइज़ किए अविश्वसनीय डेटा के साथ नहीं बुलाया जाना चाहिए, `os.system` हो सकता है। इन खतरनाक कार्यों को “**सिंक**” कहा जाता है। ध्यान दें कि केवल इसलिए कि कोई फ़ंक्शन संभावित रूप से खतरनाक है, इसका मतलब यह नहीं है कि यह तुरंत एक शोषण योग्य भेद्यता है और इसे हटाना होगा। कई सिंक में उन्हें सुरक्षित रूप से उपयोग करने के तरीके होते हैं। सिंक के अन्य उदाहरण, जिन्हें उपयोगकर्ता इनपुट के साथ उपयोग नहीं किया जाना चाहिए, Python में MySQLdb लाइब्रेरी से MySQLCursor.execute() (जो SQL इंजेक्शन का कारण बनता है) या Python का eval() अंतर्निहित फ़ंक्शन है जो मनमाने एक्सप्रेशन का मूल्यांकन करता है (जो कोड इंजेक्शन का कारण बनता है)।

भेद्यता मौजूद होने के लिए, असुरक्षित, उपयोगकर्ता-नियंत्रित इनपुट का उपयोग बिना उचित सैनिटाइज़ेशन या इनपुट सत्यापन के किसी खतरनाक फ़ंक्शन में किया जाना चाहिए। दूसरे शब्दों में, स्रोत और सिंक के बीच एक कोड पथ होना चाहिए, ऐसी स्थिति में हम कहते हैं कि डेटा स्रोत से सिंक तक प्रवाहित होता है—स्रोत से सिंक तक एक “**डेटा प्रवाह**” होता है।

<img src="https://assets.kitploit.com/production/public/readmes/33098/ff60a1649737805a71bd27710209dba66203a77159cc72ae435c165353e56491.png">

### CodeQL चीटशीट
मूल क्वेरी संरचना```codeql
import python

from <type> <name> 		//variables used in the query

where <conditions for variables>

select <output>			//results, referring to the variables

`os.system()` कॉल्स के संदर्भ खोजें, इस बार एक predicate के साथ```codeql
predicate isOsSystemSink(API::CallNode call) {
	call = API::moduleImport("os")
	.getMember("system").getACall()
  }


from API::CallNode call
where isOsSystemSink(call)
select call, "Call to os.system"

`os.system()` कॉल के संदर्भ खोजें, इस बार एक क्लास के साथ।
निर्दिष्ट करें कि जिस प्रकार से हम शुरू कर रहे हैं वह `OsSystemSink` है।```codeql
class OsSystemSink extends API::CallNode {
  OsSystemSink() {
    this = API::moduleImport("os")
    .getMember("system").getACall()
	}
}


from OsSystemSink s
select s, "Call to os.system"

btn = gr.Button("Run")
btn.click(fn=execute_cmd, inputs=[folder]) #2

आप कार्यशाला में एक और कमांड इंजेक्शन उदाहरण भी देखेंगे, जो `Flask` फ्रेमवर्क का उपयोग करके बनाए गए ऐप में है। इस मामले में, उपयोगकर्ता इनपुट Flask (पायथन का लोकप्रिय वेब फ्रेमवर्क) अनुरोध के GET पैरामीटर से आता है, जिसे वेरिएबल `files` में संग्रहीत किया जाता है (देखें #1)। फिर `files` को `os.system` कॉल में पास किया जाता है और `ls` के साथ जोड़ा जाता है, जिससे कमांड इंजेक्शन होता है (देखें #2)।```python
import os
from flask import Flask, request

app = Flask(__name__)

@app.route("/command1")
def command_injection1():
    files = request.args.get('files', '')   #1
    os.system("ls " + files)                #2

फ़ाइल क्षेत्र में राइट क्लिक करें और क्वेरी चलाने के लिए "CodeQL: Run Query on Selected Database" चुनें।

<details>
<summary>दिशानिर्देश</summary>

- `from` क्लॉज़ में, `API::` से शुरू करें और API Graphs मॉड्यूल में उपलब्ध प्रकारों को देखने के लिए `Ctrl + Space` दबाएँ।
- एक कॉल को `API::CallNode` प्रकार द्वारा दर्शाया जाता है। उस प्रकार और नाम `call` के साथ एक वेरिएबल बनाएँ।
- परिणामों को केवल एप्लिकेशन की रूट फ़ोल्डर (जिसे `test-app` कहा जाता है) में कॉल तक सीमित करने के लिए, एक ` where` क्लॉज़ जोड़ें जिसमें शर्त हो `where call.getLocation().getFile().getRelativePath().regexpMatch("test-app/.*")`।

</details>
<details>
<summary>समाधान</summary>```codeql
import python
import semmle.python.ApiGraphs

from API::CallNode call
where call.getLocation().getFile().getRelativePath().regexpMatch("test-app/.*")
select call, "A call"