codyze

كوديز؟

️ هذا الإصدار من كوديز لا يزال قيد التطوير. إذا كنت تبحث عن إصدار مستقر ، فيرجى استخدام الإصدار 2.3.0.

Codyze هو محلل رمز ثابت يركز على التحقق من الامتثال الأمان في التعليمات البرمجية المصدر ، أي عن طريق استنتاج الاستخدام الصحيح لمكتبات التشفير. تعمل على الرسوم البيانية لعلامات الرمز ، وبالتالي فهي قادرة على التعامل مع شظايا التعليمات البرمجية غير المتجاهة أو حتى غير المكتملة.

بناء وتشغيل كوديز

A Java SE 17 JDK هو شرط أساسي. نحن نبني ونختبر باستخدام Eclipse Temurin ولكن يجب أن يعمل أي توزيع.

لإنشاء نسخة قابلة للتنفيذ من Codyze ، استخدم مهمة installDist في جذر المشروع:

$ ./gradlew :codyze-cli:installDist

سيوفر لك ذلك تثبيت Codyze قابل للتنفيذ ضمن codyze-cli/build/install/codyze-cli .

لتشغيل Codyze ، يمكنك إما تشغيل هذه المهمة القابلة للتنفيذ أو استخدام مهمة run :

$ ./gradlew run

سيؤدي ذلك إلى طباعة رسالة المساعدة وإرجاع خطأ.

لتشغيل Codyze فعليًا ، يجب عليك تحديد مجموعة فرعية:

$ ./gradlew run --args= " --config=config.json runCoko cokoCpg "

سيؤدي ذلك إلى تشغيل اللجنة الفرعية runCoko مع الواجهة الخلفية cokoCpg باستخدام ملف التكوين التجريبي ./codyze-cli/config.json .

لمزيد من المعلومات ، يرجى الرجوع إلى الوثائق.

البحث والعمل الطلاب

إذا كنت تبحث عن مشروع أطروحة مثير أو وظيفة طالب في مجال التحليل الثابت ، يسعدنا مناقشة الموضوعات الممكنة. يرجى الاتصال بنا في Codyze [AT] aisec.fraunhofer.de .

يدعم

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

رخصة

ترخيص Apache 2.0