Tag feed

#program-analysis

6 posts0 followers

Explore Hashnode

Alternatives

MKManish Krishna Kandrakotamk07codeops.hashnode.devDec 20, 2025 · 5 min read

Project SecureFlow: Designing a Lightweight Static Taint Analyzer Using JavaParser

Overview Security vulnerabilities caused by unsafe data flows remain one of the most persistent problems in software systems. User input, configuration data, and external parameters frequently propagate through applications and reach sensitive operat...

0

HHaneunhanlee.hashnode.devAug 22, 2023 · 1 min read

What are Dynamic Analysis and Static Analysis

Definition Methods of Analyzing Programs Dynamic Analysis Verifying through multiple executions Dynamic analysis is a method of analyzing the behavior of software during its execution. When software is running, dynamic analysis tools are used to moni...

0

Bbearbear-with-us.hashnode.devAug 12, 2023 · 3 min read

Static Program Analysis PA-3

1 Assignment Objective Implement a dead code detector for Java. Dead code elimination is a common compiler optimization in which dead code is removed from a program, and its most challenging part is the detection of dead code. In this programming ...

0

Bbearbear-with-us.hashnode.devAug 7, 2023 · 9 min read

Program Analysis Notes 1

1 Introduction What is static program analysis(SPA)? Let's have an overview of Programming Languages(PL) before talking about SPA, PL can be divided into three parts: Theory Language Design Type System Semantics and Logics Environment Compile...

0

Bbearbear-with-us.hashnode.devAug 4, 2023 · 6 min read

Static Program Analysis PA-2

1 Assignment Objectives Implement a constant propagation for Java Implement a generic worklist solver, which will be used to solve the data-flow problem you defined, i.e., constant propagation. Assignment-SPA-Nanjing-University GitHub-Code-SPA-Na...

0

Bbearbear-with-us.hashnode.devAug 2, 2023 · 4 min read

Static Program Analysis PA-1

1 Assignment Objectives Implement a live variable analysis for Java. Implement a generic solver, which will be used to solve the data-flow problem you defined, i.e., the live variable. WebSite-Assignment-SPA-Nanjing University WebSite-GitHub-Code...

0

#program-analysis

Search Hashnode

#program-analysis

Explore Hashnode

Project SecureFlow: Designing a Lightweight Static Taint Analyzer Using JavaParser

What are Dynamic Analysis and Static Analysis

Static Program Analysis PA-3

Program Analysis Notes 1

Static Program Analysis PA-2

Static Program Analysis PA-1

Trending tags this week