Questions

• Why should we use abstractions when analysing code?
• What is the nice thing about Galoi connections?
• Which cases are the Sign abstraction not able to catch?
• At which cases do your static analysis outperform your dynamic?
• In which cases does dynamic analysis outperform syntactic analysis?
• When is random sampling of inputs better than testing small values and visa versa?
• What are the big limitations of dynamic analysis?
• What is the primary problem when doing unbounded static analysis?
• Why do we need a widening operator?
• What was the hardest instruction to implement?
• How big share of the cases were you able interpret?
• Which part of the documentation was lacking?
• What was your most extreme syntactical match?
• When did you feel the limitations of the syntactic analyses?
• When is syntatic analysis a good tool?
• What are some good uses for SMT Solving?
• What are the big limitations of Symbolic Execution?
• Why would you use Concolic execution?
• Were you stuck on anything in the setup phase?
• What strategy gave the best results for you?
• Is program analysis easy?