정적 프로그램 분석
Sign in to saveAlso known as static code analysis, static analysis, static software analysis
실제 실행 없이 컴퓨터 소프트웨어를 분석하는 것
Connections
operational semantics
Entity
software development process
Entity
Lint
Entity
programming style
Entity
correctness
Entity
dynamic program analysis
Entity
data-flow analysis
Entity
Isabelle
Entity
computer science
Entity
Alan Turing
Entity
software
Entity
International Standard Book Number
Entity
computer hardware
Entity
Wayback Machine
Entity
Kurt Gödel
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
compiler
Entity
software engineering
Entity
source code
Entity