Projects in Awesome Lists tagged with famaf
A curated list of projects in awesome lists tagged with famaf .
https://github.com/helcsnewsxd/cbmc-analysis-report
Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)
bounded-model-checking cbmc cryptography ctf-writeup famaf formal-verification software-engineering static-analysis university-project
Last synced: 02 Jul 2025
https://github.com/helcsnewsxd/gsc-interpreter
Interpreter for a simplified subset of C/C++ with dynamic typing - Language and Compilers course project - Computer Science @ FAMAF (UNC)
catch2 compiler cpp famaf interpreter university-project
Last synced: 17 Jun 2025
https://github.com/helcsnewsxd/adaptive-network-routing
Adaptive routing algorithm implementation and performance analysis on simulated networks – Distributed Systems and Networking course project – Computer Science @ FAMAF (UNC)
analysis cpp dijkstra-algorithm famaf graph-topology lab matplotlib network network-topologies omnetpp optimization python red-protocol routing-algorithm university-project
Last synced: 20 Apr 2026
https://github.com/helcsnewsxd/decompilation-report
Technical report about decompilation, dcc static decompiler architecture, dynamic decompilers, actual tools and an use case with Ghidra - Language and Compilers course project - Computer Science @ FAMAF (UNC)
angr binary-ninja binrec cpp dcc decompilation decompiler dewolf famaf ghidra ida-pro radare2 retdec reverse-engineering university-project
Last synced: 21 Sep 2025
https://github.com/marcugeorgian19/decompilation-report
Este repositorio presenta un informe sobre decompilación, elaborado para la materia _Lenguajes y Compiladores_ en FAMAF. Aquí encontrarás detalles sobre el decompilador `dcc`, mejoras en decompiladores dinámicos y herramientas actuales. 🛠️📄
angr binary-ninja binrec cpp dcc decompilation decompiler dewolf famaf ghidra ida-pro malware-analysis radare2 retdec reverse-engineering university-project
Last synced: 15 Jun 2025
