أداة تحليل كود ثابتة مدركة للإطار لمراجعة تلقائية للكود المصدري مع قواعد خاصة بالمنصة، وتحليل التلوث، وتقدير الجهد، وخطوط أساس للكبت.

وضع الفصل / الخلفية:```bash docker compose up --build -d

أوقف الحزمة باستخدام:```bash docker compose down

ما في الصورة

• خلفية FastAPI + واجهة أمامية لـ Web UI
• كامل واجهة Daksh SCRA CLI، كخدمة منفصلة
• Playwright Chromium، لتوليد ملفات PDF
• وحدات تخزين دائمة reports/ و runtime/
• تثبيت مسارات المضيف بحيث يمكن للفحوصات الوصول إلى أشجار المصدر من داخل الحاوية

نقاط التثبيت الرئيسية:

متغيرات البيئة (قم بتكوينها في .env):

انسخ .env.example إلى .env واضبط المسارات وبيانات الاعتماد لجهازك قبل تشغيل Docker.

إعداد CLI

هل تفضل تشغيل Daksh SCRA مباشرةً مع Python؟ إليك كيفية إعداده محليًا.

المتطلبات الأساسية

• Python 3.8+
• جميع المكتبات المدرجة في requirements.txt

1. تنزيل Daksh SCRA```bash

git clone https://github.com/coffeeandsecurity/DakshSCRA.git

هذا السكربت ينشئ البيئة الافتراضية، ويُثبّت جميع التبعيات، ويُثبّت متصفح Chromium الخاص بـ Playwright (المطلوب لتصدير PDF).

الخيار ب: الإعداد اليدوي

Windows:```bash python -m venv daksh-env .\daksh-env\Scripts\activate

ثم قم بتثبيت التبعيات:```bash cd path/to/DakshSCRA pip install -r requirements.txt playwright install chromium

مثال على الاستخدام

-f (أنواع الملفات) اختياري. إذا لم يتم تحديده، يستخدم DakshSCRA أنواع الملفات الافتراضية للمنصة (المنصات) المحددة.```bash

Single platform scan

python dakshscra.py -r php -t /path/to/source

Multiple platforms

python dakshscra.py -r php,java,cpp -t /path/to/source

Auto-detect platform and apply matching rules

python dakshscra.py -r auto -t /path/to/source

Override filetypes

python dakshscra.py -r php -f dotnet -t /path/to/source

Reconnaissance only (no scanning)

python dakshscra.py --recon -t /path/to/source

Reconnaissance + scanning

python dakshscra.py --recon -r php -t /path/to/source

Strict recon (high-confidence detections only)

python dakshscra.py --recon --rs -t /path/to/source

Effort estimation

python dakshscra.py --estimate -t /path/to/source

Scan with HTML + PDF report output

python dakshscra.py -r auto -t /path/to/source -rpt html,pdf

Verbosity levels

python dakshscra.py -r php -v -t /path/to/source # default python dakshscra.py -r php -vvv -t /path/to/source # show all pattern checks

Generate suppression baseline from current findings

python dakshscra.py -r auto -t /path/to/source --baseline-generate

Apply suppression baseline (suppress known FPs)

python dakshscra.py -r auto -t /path/to/source --baseline-file config/suppressions.json

Disable baseline for this run

python dakshscra.py -r auto -t /path/to/source --no-baseline

Apply findings triage / review config

python dakshscra.py -r auto -t /path/to/source --review-config config/review.json

Scan with checkpoint state enabled

python dakshscra.py -r auto -t /path/to/source --state

Resume an interrupted scan

python dakshscra.py -r auto -t /path/to/source --resume-scan

Resume with a custom state file

python dakshscra.py -r auto -t /path/to/source --resume-scan --state-file runtime/scan_state.json

Generate PDF from existing JSON outputs (no re-scan)

python dakshscra.py --pdf-from-json

Generate PDF from a custom JSON directory

python dakshscra.py --pdf-from-json --json-input-dir ./custom/reports/data

Custom output paths for PDF

python dakshscra.py --pdf-from-json --pdf-output ./reports/scan/pdf/custom.pdf --pdf-multi-dir ./reports/scan/pdf/multi-file

Single combined PDF only (skip per-platform set)

python dakshscra.py --pdf-from-json --pdf-single-only

المنصات وأطر العمل المدعومة حاليًا:

للحصول على أحدث المنصات وأطر العمل المدعومة، قم دائمًا بتشغيل:```bash python dakshscra.py -l R

خيارات تكوين المحلل:

• analysis.run_by_default
  • true: يعمل المحلل تلقائيًا أثناء الفحص
  • false: يتم تعطيل المحلل ما لم يتم إعادة تمكينه في التكوين أو عبر CLI
• analysis.include_frameworks
  • true: تضمين إدخالات المحلل على مستوى الأطر حيث يوجد اكتشاف للأطر
  • false: إخراج المحلل على مستوى المنصة فقط
• analysis.report_theme
  • hacker_mode: سمة محلل حديثة داكنة عالية التباين (افتراضي)
  • professional_mode: سمة محلل حديثة فاتحة
  • both: إنشاء كلا متغيري السمة جنبًا إلى جنب

تأليف قواعد RDL

RDL (لغة وصف القواعد) هي طبقة منطق القواعد الخارجية في DakshSCRA. في البنية الحالية:

• تظل قواعد XML هي مخزون القواعد وتحمل بيانات وصفية مثل name وregex والأوصاف وscan_config اختياريًا.
• يتم تنفيذ منطق RDL بواسطة core/rdl_engine.py.
• توجد ملفات منطق القواعد تحت rules/scanning/logic/... ويتم الإشارة إليها من XML باستخدام <rdl_ref>.
• يتم حل قيم rdl_ref نسبيًا إلى rules/scanning/، على سبيل المثال: logic/php/core/some_rule.rdl -> rules/scanning/logic/php/core/some_rule.rdl
• يتم تصدير نتائج المنطق إلى JSON التقرير كبيانات وصفية مثل logic_engine وlogic_source وlogic_reason وlogic_trace وlogic_consulted_files وlogic_outcome.

لم يعد نموذج <rdl> المضمّن الأقدم هو البنية النشطة ولا ينبغي استخدامه للقواعد الجديدة.

بنية RDL في لمحة```text

XML rule -> regex / exclude / scan_config / descriptions -> rdl_ref -> rules/scanning/logic///.rdl -> core/rdl_engine.py -> pass / fail -> reason / fail_reason -> trace / consulted_files / outcome

بنية .rdl الحالية```text

VERSION 1 WHEN PRESENT /\b(?:mysql_query|mysqli_query|->query)\s*\(/i WHEN EXPR PRESENT:\$_(GET|POST|REQUEST|COOKIE) && MISSING:\b(?:prepare|bindParam|bindValue|PDO::prepare)\b REPORT AS area_of_interest REASON SQL query execution appears reachable without parameterisation in this file. FAIL_REASON Matching query API was found, but the file also contains prepared-statement indicators. TRACE SQLi gate: input source present and mitigation missing.

دلالات التنفيذ

• يتم تقييم WHEN PRESENT وWHEN MISSING وWHEN CURRENT_FILE_MATCHES مقابل نص الملف الحالي.
• يتم تقييم WHEN FILE_NAME_IS وWHEN FILE_PATH_MATCHES مقابل سياق مسار الملف الحالي.
• يدعم WHEN EXPR المنطق البولياني عبر مسندات PRESENT: وMISSING: وEXISTS:.
• لا يقيّم OBSERVE PROJECT_HAS_GLOB ... AS ... النتيجة؛ بل يسجل ملفات المشروع ذات الصلة في بيانات التتبع.
• تتحكم REPORT AS وREASON وFAIL_REASON وTRACE في بيانات التقارير المُصدَّرة.
• يمكن كتابة رموز regex إما كأنماط خام أو كـ /pattern/flags، مع دعم i وm وs.

أوامر RDL المدعومة

تدعم التعبيرات البوليانية في WHEN EXPR:

• PRESENT:<regex>
• MISSING:<regex>
• EXISTS:<regex>
• && و|| و! والأقواس

مثال 1 - بوابة حقن SQL في PHP

قاعدة XML:```xml Possible SQL Injection in Query Execution query)\s*\(]]> <rdl_ref>logic/common/core/insecure_sql_query_unsafe_string_concatenation.rdl</rdl_ref> <rule_desc>...</rule_desc>

مثال 2 - قاعدة ملف Android manifest مع فحوصات مدركة للملفات

قاعدة XML:```xml Exported Components Without Permission activity|service|receiver|provider)\s[^>]*android:name="(?P[^"]+)"[^>]*android:exported="true"[^>]*(?:/>|>)]]> <rdl_ref>logic/mobile/android/core/exported_components.rdl</rdl_ref> <scan_config>...</scan_config>

مثال 3 - قاعدة منطقة الاهتمام لمسار الملف

قاعدة XML:```xml Admin Section File Path <rdl_ref>logic/filepaths/core/admin_section.rdl</rdl_ref>

إرشادات التأليف

• اجعل regex واسعًا بما يكفي لالتقاط المرشحين، ثم استخدم RDL لتصفية السياق.
• فضّل rdl_ref لجميع منطق القواعد واحتفظ بملف .rdl بجوار شجرة المنطق المناسبة للمنصة/الإطار.
• لا تُضف كتل <rdl> سطرية جديدة.
• استخدم WHEN PRESENT / WHEN MISSING للبوابات البسيطة وWHEN EXPR فقط عندما يكون المنطق منطقيًا فعليًا (boolean).
• ضع التبرير الموجّه للمراجعين في REASON وتفسيرات الكبت في FAIL_REASON.
• تعامل مع PRESENT وMISSING كفحوصات على مستوى الملف بأكمله. أي تخفيف في أي مكان بالملف يمكن أن يكبت كل تطابق من ذلك الملف.
• استخدم OBSERVE PROJECT_HAS_GLOB لإثراء النتائج بسياق المشروع، وليس كبوابة نجاح/فشل.
• حافظ على استقرار مسارات logic/... واجعلها مقيّدة بالمنصة بحيث تبقى قواعد XML رقيقة وتظل طبقة المنطق قابلة لإعادة الاستخدام.

هيكل مخرجات التقرير

تُكتب جميع المخرجات تحت دليل reports/:``` reports/ ├── scan/ │ ├── html/ │ │ ├── report.html # Single-file HTML scan report │ │ └── multi-file/ # Per-platform HTML report set │ ├── pdf/ │ │ ├── report.pdf # Single-file PDF scan report │ │ └── multi-file/ # Per-platform PDF report set │ ├── recon/ │ │ └── reconnaissance.html # Reconnaissance HTML report │ └── estimate/ │ └── estimation.html # Effort estimation HTML report ├── analysis/ │ └── / │ ├── analysis.html # Taint analysis report (default theme) │ ├── analysis_professional.html # Professional theme (if theme=both) │ ├── analysis_xref.html # Cross-reference report │ └── analysis.json # Structured analysis data └── data/ ├── areas_of_interest.json # AoI findings ├── filepaths_aoi.json # File path AoI findings ├── summary.json # Scan summary ├── recon.json # Recon summary └── analysis.json # Analyzer output