haruspex

haruspex "Hacking is the discipline of questioning all your assumptions all of the time." -- Dave Aitel Haruspex is a blazing-fast IDA headless plugin that extracts pseudocode generated by IDA's decompiler in a format that should be suitable to be imported into an IDE, or parsed by static analysi...

dexcalibur

WiP : Moving to dexcalibur 2.0 | codename : Reversense Dexcalibur Dexcalibur is an Android reverse engineering platform focus on instrumentation automation. Its particularity is to use dynamic analysis to improve static analysis heuristics. It aims automate boring tasks related to dynamic...

aether

Aether v6.0 — Framework d'analyse de sécurité des contrats intelligents Version 6.0 | Nouveautés de v6.0 | Changelog Aether est un framework Python pour analyser les contrats intelligents Solidity, générer des constatations de vulnérabilités, produire des tests de preuve de concept PoC basés sur...

octoscan

:octocat: octoscan Octoscan هو ماسح ضوئي ثابت للثغرات الأمنية في سير عمل GitHub Actions. جدول المحتويات جدول المحتويات التثبيت الاستخدام تنزيل سير العمل عن بُعد التحليل إجراء GitHub القواعد dangerous-checkout dangerous-action dangerous-write expression-injection runner-label repo-jacking...

fuzzable

Fuzzable إطار عمل لأتمتة اكتشاف الأهداف القابلة للتفحص باستخدام التحليل الثابت مقدمة غالبًا ما يستخدم باحثو الثغرات الأمنية الذين يجرون تقييمات أمنية للبرمجيات قدرات التفحص الموجّه بالتغطية عبر أدوات قوية مثل AFL++ و libFuzzer. هذا مهم لأنه يؤتمت عملية صيد الأخطاء ويكشف عن الظروف القابلة للاستغلا...

fuzzable

Fuzzable Framework for Automating Fuzzable Target Discovery with Static Analysis Introduction Vulnerability researchers conducting security assessments on software will often harness the capabilities of coverage-guided fuzzing through powerful tools like AFL++ and libFuzzer. This is important as ...

semgrep

فحص الكود بسرعة هائلة. Semgrep هي أداة تحليل ثابت سريعة ومفتوحة المصدر تبحث في الكود، وتجد الأخطاء، وتفرض قواعد الأمان ومعايير الترميز. تدعم Semgrep أكثر من 30 لغة ويمكن تشغيلها في IDE، وكفحص قبل الالتزام pre-commit، وكجزء من سير عمل CI/CD. Semgrep هي grep دلالي للكود. بينما تشغيل grep "2" سيطابق...

emba

EMBA محلل الأمان للبرامج الثابتة للأجهزة المدمجة صُمم EMBA ليكون الأداة المركزية لتحليل البرامج الثابتة و SBOM لمختبري الاختراق وفرق أمن المنتجات والمطورين ومديري المنتجات المسؤولين. يدعم عملية تحليل الأمان الكاملة بدءًا من استخراج البرامج الثابتة ، وإجراء التحليل الساكن و التحليل الديناميكي عبر...

mobileAudit

Mobile Audit Security analysis for Android APKs, from upload to actionable findings. Mobile Audit is a Django application for static application security testing and malware inspection. It extracts APK metadata, detects risky implementation patterns, organizes findings by severity, and provides a...

Vba2Graph

Vba2Graph A tool for security researchers, who waste their time analyzing malicious Office macros. Generates a VBA call graph, with potential malicious keywords highlighted. Allows for quick analysis of malicous macros, and easy understanding of the execution flow. @MalwareCantFly Features Keywor...

appshark

Document Index 1.overview 2.startup 3.how to write rules 4.how to find compliance problems use appshark 5.a path traversal game 6.argument 7.engine config 8.result 9.faq AppShark Appshark is a static taint analysis platform to scan vulnerabilities in an Android app. Prerequisites Appshark require...

appshark

فهرس المستندات 1. نظرة عامة 2. بدء التشغيل 3. كيفية كتابة القواعد 4. كيفية العثور على مشكلات الامتثال باستخدام AppShark 5. لعبة اجتياز المسار 6. الوسائط 7. تكوين المحرك 8. النتائج 9. الأسئلة الشائعة AppShark Appshark هي منصة تحليل تلوث ثابتة لفحص الثغرات الأمنية في تطبيقات Android...

static-analysis

This repository lists static analysis tools for all programming languages, build tools, config files and more. The focus is on tools which improve code quality such as linters and formatters. The official website, analysis-tools.dev is based on this repository and adds rankings, user comments, an...

BrokenFlow

BrokenFlow A simple PoC to invoke an encrypted shellcode by using an hidden call. Introduction This code uses a simple trick to hide the instruction that effectively will jump to our shellcode. This should make the static analysis or emulation more challenging. As always, if this concept was...

mininode

مينينود مينينود هي أداة واجهة أوامر لتقليل سطح الهجوم لتطبيقات Node.js باستخدام التحليل الثابت للكود المصدري. وهي تدعم وضعين للتقليل: 1 تقريبي، 2 دقيق. تقوم مينينود ببناء رسم بياني للاعتماديات الوحدات والوظائف المستخدمة للتطبيق بدءًا من الملف الرئيسي، أي نقطة الدخول للتطبيق. تقوم مينينود بتهيئة...

mininode

Mininode Mininode is a CLI tool to reduce the attack surface of the Node.js applications by using static analysis of source code. It supports two modes of reduction 1 coarse, 2 fine. Mininode constructs the dependency graph modules and functions used of the application starting from main file, i....

sobelow

Sobelow Sobelow هي أداة تحليل ثابتة موجهة نحو الأمان للغة Elixir وإطار العمل Phoenix. بالنسبة لباحثي الأمان، فهي أداة مفيدة للحصول على نظرة سريعة على نقاط الاهتمام. بالنسبة لمشرفي المشاريع، يمكن استخدامها لمنع إدخال عدد من الثغرات الشائعة. حاليًا، يكتشف Sobelow بعض أنواع مشكلات الأمان التالية:...

Bughound

What is Bughound? Bughound is an open-source static code analysis tool that analyzes your code and sends the results to Elasticsearch and Kibana to get useful insights about the potential vulnerabilities in your code. Bughound has its own Elasticsearch and Kibana Docker image that is preconfigure...

jackhammer

Jackhammer: One Security vulnerability assessment/management tool to solve all the security team problems. What is Jackhammer? Jackhammer is a collaboration tool built with an aim of bridging the gap between Security team vs dev team, QA team and being a facilitator for TPM to understand and trac...

jackhammer

Jackhammer: أداة واحدة لتقييم وإدارة الثغرات الأمنية لحل جميع مشاكل فريق الأمان. ما هو Jackhammer؟ Jackhammer هي أداة تعاونية تهدف إلى سد الفجوة بين فريق الأمان وفريق التطوير وفريق ضمان الجودة، وتكون ميسرة لـ TPM لفهم وتتبع جودة الكود الذي يتم إدخاله إلى الإنتاج. يمكنها إجراء تحليل ثابت للكود...