2023-10-12 20:46:17 -04:00
|
|
|
\contentsline {section}{\numberline {1}Question 1}{1}{section.0.1}%
|
|
|
|
|
\contentsline {subsection}{\numberline {1.1}Soundness vs Completeness}{1}{subsection.0.1.1}%
|
|
|
|
|
\contentsline {subsubsection}{Soundness}{1}{section*.2}%
|
|
|
|
|
\contentsline {subsubsection}{Completeness}{2}{section*.3}%
|
|
|
|
|
\contentsline {subsection}{\numberline {1.2}Positive = Find bug}{2}{subsection.0.1.2}%
|
|
|
|
|
\contentsline {subsubsection}{True Positive}{2}{section*.4}%
|
|
|
|
|
\contentsline {subsubsection}{True Negative}{2}{section*.5}%
|
|
|
|
|
\contentsline {subsubsection}{False Positive}{2}{section*.6}%
|
|
|
|
|
\contentsline {subsubsection}{False Negative}{2}{section*.7}%
|
|
|
|
|
\contentsline {subsection}{\numberline {1.3}Positive = Not find bug}{2}{subsection.0.1.3}%
|
|
|
|
|
\contentsline {subsubsection}{True Positive}{2}{section*.8}%
|
|
|
|
|
\contentsline {subsubsection}{True Negative}{2}{section*.9}%
|
|
|
|
|
\contentsline {subsubsection}{False Positive}{2}{section*.10}%
|
|
|
|
|
\contentsline {subsubsection}{False Negative}{2}{section*.11}%
|
|
|
|
|
\contentsline {section}{\numberline {2}Question 2}{3}{section.0.2}%
|
|
|
|
|
\contentsline {subsection}{\numberline {2.1}A}{3}{subsection.0.2.1}%
|
|
|
|
|
\contentsline {subsubsection}{Source}{3}{section*.12}%
|
|
|
|
|
\contentsline {subsubsection}{Explanation}{3}{section*.13}%
|
|
|
|
|
\contentsline {subsubsection}{Sample Output}{5}{section*.14}%
|
|
|
|
|
\contentsline {subsection}{\numberline {2.2}B}{5}{subsection.0.2.2}%
|
|
|
|
|
\contentsline {subsubsection}{(2.B) Explanation}{6}{section*.15}%
|
|
|
|
|
\contentsline {section}{\numberline {3}Question 3}{7}{section.0.3}%
|
|
|
|
|
\contentsline {subsection}{\numberline {3.1}A}{7}{subsection.0.3.1}%
|
|
|
|
|
\contentsline {subsection}{\numberline {3.2}B}{8}{subsection.0.3.2}%
|
|
|
|
|
\contentsline {section}{\numberline {4}Question 4}{8}{section.0.4}%
|
|
|
|
|
\contentsline {subsection}{\numberline {4.1}A}{8}{subsection.0.4.1}%
|
|
|
|
|
\contentsline {subsubsection}{Test 1}{9}{section*.16}%
|
|
|
|
|
\contentsline {subsubsection}{Test 2}{9}{section*.17}%
|
|
|
|
|
\contentsline {subsubsection}{Test 3}{9}{section*.18}%
|
|
|
|
|
\contentsline {subsubsection}{Test 4}{11}{section*.19}%
|
|
|
|
|
\contentsline {subsection}{\numberline {4.2}B}{11}{subsection.0.4.2}%
|
|
|
|
|
\contentsline {subsubsection}{C}{13}{section*.20}%
|
|
|
|
|
\contentsline {subsubsection}{D}{16}{section*.21}%
|
|
|
|
|
\contentsline {paragraph}{Branch Static Analysis}{16}{section*.22}%
|
|
|
|
|
\contentsline {paragraph}{Path Static Analysis}{17}{section*.23}%
|
|
|
|
|
\contentsline {paragraph}{Statement Static Analysis}{17}{section*.24}%
|
|
|
|
|
\contentsline {section}{\numberline {5}Question 5}{17}{section.0.5}%
|
|
|
|
|
\contentsline {subsection}{\numberline {5.1}A}{17}{subsection.0.5.1}%
|
|
|
|
|
\contentsline {subsection}{\numberline {5.2}B}{18}{subsection.0.5.2}%
|
2023-10-16 10:27:29 -04:00
|
|
|
\contentsline {section}{\numberline {6}Question 6}{23}{section.0.6}%
|
|
|
|
|
\contentsline {subsection}{\numberline {6.1}Note}{23}{subsection.0.6.1}%
|
