L1

Question 1

Program Analysis

Answer 1

automatically discover useful fact about the programs

Question 2

3 kinds of analysis

Answer 2

dynamic (run-time)
static (compile-time)
hybrid

Question 3

dynamic analysis

Answer 3

infers facts of the program by monitoring its run

Question 4

purify

Answer 4

array bound checking

Question 5

eraser

Answer 5

data race detection

Question 6

valgrind

Answer 6

memory leak detection

Question 7

daikon

Answer 7

finding likely invariants

Question 8

static analysis

Answer 8

by inspecting its code. sacrifices completeness, but sounds

Question 9

lint, findbugs, coverity

Answer 9

a suspicious error pattern

Question 10

facebook infer

Answer 10

memory leak detection

Question 11

microsoft slam

Answer 11

API usage rule

Question 12

esc/java

Answer 12

verify invariants

Question 13

discovering invariants

Answer 13

dynamic: finds what might be an invariant and what is definitely not an invariant
static: definitely is or is not an invariant

Question 14

compiler

Answer 14

bridges the gap between high-level languages and architecture
use program analyses to generate efficient code

Question 15

software quality tools

Answer 15

testing, debugging, and verification

Question 16

integrated dev environments (IDEs)

Answer 16

• understand and refactor programs

- useful with large and complex programs

Question 17

invariant

Answer 17

fact that is true in any branch of a program