\documentstyle[lslide,a4wide]{harticle}

\title{LINT}
\author{권 범 준}
\organization{SPARCS} 
\date{1993년 7월 21일}

\addtolength{\textheight}{-0.5in}
\verttop
\shadowframe

\newenvironment{example}{\begin{normalsize} \begin{center} \begin{tabular}{|c|} \hline \\ \begin{minipage}{12cm}}{\end{minipage} \\ \\ \hline \end{tabular} \end{center} \end{normalsize}} 

\begin{document}

\titlepage

\begin{slide}
\subsection{{\tt lint} --- a Program Verifier for C}
\begin{itemize}
	\item {\tt lint} vs. {\tt cc} --- Verifier vs. Compiler
	\item Using {\tt lint}
\end{itemize}

\begin{example}
\begin{verbatim}
% lint    file1.c file2.c
% lint -p file1.c file2.c
% lint -h file1.c file2.c
\end{verbatim}
\end{example}
\vspace{5mm}

\begin{itemize}
	\item Philosophy
	\begin{itemize}
		\item {\tt lint}가 찾을 수 없는 정보
		\item {\em xxx} might be a bug
	\end{itemize}
	\item Unused Variables and Functions
	\begin{itemize}
		\item Defined but not otherwise mentioned
		\item {\tt extern}으로 정의된 것들
		\item {\tt -x} 옵션: unused extern variable 검색
		\item {\tt -v} 옵션: unused argument 무시 (register?)
		\item {\tt -u} 옵션: 모두 무시
	\end{itemize}
	\item Set/Used Information
	\begin{itemize}
		\item 초기값 지정 전에 사용된 경우
		\item 초기값 지정후 전혀 사용되지 않은 경우
		\item physical appearance만 check
		\item local 변수만 check
	\end{itemize}
	\item Flow of Control
	\begin{itemize}
		\item 절대로 실행될 수 없는 부분
		\item {\tt goto}, {\tt break}, {\tt continue}, {\tt return}
		\item 무한 루프의 아래쪽
		\item return하지 않는 call? --- {\tt exit()}
		\item unreachable {\tt break} --- {\tt -b} 옵션
	\end{itemize}
	\item Function Values
	\begin{itemize}
		\item 쓰이지 않는 return 값
		\item 쓸 수 없는 function 값
		\item {\tt return({\em expr});}과 {\tt return;}
	\end{itemize}
\end{itemize}

\begin{example}
\begin{verbatim}
f ( a ) {
        if ( a )
                return ( 3 );
        g ();
}
\end{verbatim}
\end{example}

\begin{itemize}
	\item Type Checking
	\begin{itemize}
		\item binary operators and implied assignments
		\item structure (union) selection operators
		\item definition and uses of functions
		\item use of enumerations
	\end{itemize}
	\item Type Casts
	\begin{itemize}
		\item 프로그래머의 의도를 정확히 표현
		\item {\tt -c} 옵션: type casting도 report
	\end{itemize}
\end{itemize}
\end{slide}

\begin{slide}
\begin{itemize}
	\item Nonportable Character Use
\end{itemize}

\begin{example}
\begin{verbatim}
char c;
...
if ( (c = getchar()) > 0 ) ...
\end{verbatim}
\end{example}

\begin{itemize}
	\item Assignments of Longs to Ints
	\begin{itemize}
		\item {\tt -a} 옵션으로 활성화
	\end{itemize}
	\item Strange Constructions
	\begin{itemize}
		\item {\tt -h} 옵션으로 활성화
		\item null effect
		\item degenerate unsigned comparison
		\item constant in conditional context
		\item operator precedence
		\item variables redeclared in inner blocks
	\end{itemize}
	\item Pointer Alignment
	\begin{itemize}
		\item possible pointer alignment problem
		\item {\tt -p} 또는 {\tt -h} 옵션
	\end{itemize}
	\item Multiple Uses and Side Effects
	\begin{itemize}
		\item function argument의 evaluation order
		\item side effects가 있는 operator
	\end{itemize}
\end{itemize}
\end{slide}

\begin{slide}
\begin{itemize}
	\item Shutting {\tt lint} Up
	\begin{itemize}
		\item 프로그래머가 더 똑똑할 때
		\item {\tt /*NOTREACHED*/}
		\item {\tt /*ARGSUSED*/}
		\item {\tt /*VARARGS*/}
		\item {\tt /*VARARGS2*/}
		\item {\tt /*LINTLIBRARY*/}
	\end{itemize}
	\item Library Declaration Files
	\item {\tt lint} Options
\end{itemize}

\begin{center}
\begin{tabular}{|c|l|}
\hline
{\tt a} & Report assignments of {\tt long} to {\tt int} or shorter \\
{\tt b} & Report unreachable {\tt break} statements \\
{\tt c} & Complain about questionable casts \\
{\tt h} & Perform heuristic checks \\
{\tt n} & Do not do library checking \\
{\tt p} & Perform portability checks \\
{\tt s} & Same as {\tt h} (for historical reasons) \\
{\tt u} & Don't report unused or undefined externals \\
{\tt v} & Don't report unused arguments \\
{\tt x} & Report unused external declarations \\
\hline
\end{tabular}
\end{center}
	
\end{slide}
\end{document}