Topic: static-analysis

fileflowanalysis

fileflowanalysis

0

This project is a build script analysis tool that uses file flow analysis and abstract interpretation to approximate possible abstract file structures of build scripts. We can then use these results to ensure successful execution, code transplantation and

centrinel

centrinel

0

Analyze how a C program uses memory regions

adl

adl

0

Abstract Domain Library, a C++ library implementing the octagon domain in CPU and GPU. (may add more abstract domains in the future!)

Cerbere

Cerbere

0

Code Contracts and debugging put together.

centrinel

centrinel

0

Analyze how a C program uses memory regions

grunt-cfpathcheck

grunt-cfpathcheck

0

Grunt wrapper for cfpathcheck

halo5arenastats

halo5arenastats

0

Halo 5 stats is a web application for analyzing arena performance using the Halo 5 API

checkimpcont

checkimpcont

0

Check string literal concatenation by implicit line continuation in Python souce.

Master-Thesis

Master-Thesis

0

My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis

reading

reading

0

A list of computer-science related readings I'm planning on reading. Would love PR's!

code-static-analysis

code-static-analysis

0

PHP Code static analysis program made in nodeJS

centrinel

centrinel

0

Analyze how a C program uses memory regions