An HTML generator for Valgrind's Memcheck tool
- Updated
Mar 16, 2021 - C
Static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
An HTML generator for Valgrind's Memcheck tool
Call graph generator for C and assembler code
An ELF parser, which calculates stack usage for embedded mips microcontroller, especially for Microchip's XC32 compiler
Rough Auditing Tool For Security
Detecting and turning Insecure Codes into Secure ones
Detecting and turning Insecure Codes into Secure ones
This repository contains files that were used in a thesis about the security of code generated by LLMs. This thesis is conducted at the Netherlands Defence Academy (NLDA).
Using an automated software engineering tool like Frama-C to analyze a program or system.
This is a backup of ASF-3.34.2 (Advanced/Atmel Sofware Framework), used for code review.
A C project made as a part of the Secure Programming with C course (UE18CS257C) course at PES University to demonstrate static code analysis.