In mordern computing systems, text documents are good interaction mediums for loosely connected
computer system. The most common example is the interaction with web applications in web servers
and web browsers in client computers. The web browser sends a request messages to web application
and the web application creates HTML document dynmically with database or receiving messages. Then
it sends back the HTML document to the web browser. If the web application creates invalid HTML
document, the web browser can make some troubles. Therefore, we need a verification to guarantee that
web application always generates valid HTML document.
PHP(Peronal Hypertext Preprocessor) is most popular server-side scripting language which designed
for web application development to produce web pages dynamically. At this time, about 77.2% of web
pages are made by PHP language. PHP language provide a lot of convenient features so that developers
can write web pages easier. But that convenient features also makes developers writing more bugs in
their code easily.
In this thesis, we introduce novel string analyzing tool for PHP program which verifies that target
PHP program produces valid HTML document or not. Our tool use abstract interpretation technique to
anlayze HTML string of PHP program. By using this analyzing tool, we can detect 74.4% more bugs in
5 benchmark PHP programs compared to previous works. Also, our analyzer is sound because of using
abstract interpretation technique.
현재 컴퓨터에서는 문자 문서가 컴퓨터 시스템간의 약간 결합에서 아주 좋은 소통의 매개가 되고 있다.
이런 형태의 가장 일반적인 예가 바로 웹 서버에 상주하는 웹 어플리케이션과 클라이언트 컴퓨터에있는 웹 브라주어간의 통신이다.
웹 브라우저가 서버에 있는 웹 어플리케이션에 요청 메세지를 보내면 해당 웹 브라우저는 보내온 메세지나 DB속 자료를 이용해
HTML를 생성한다. 그 뒤 이 문서를 웹 브라우저에게 전송해준다.
만약 웹 어플리케이션이 잘못된 HTML 문서를 생성하게 된다면 웹 브라우저에서 문제가 생길수있다.
따라서 웹 어플리케이션이 항상 올바른 HTML 문서를 생성해내는지 검증해줄 도구가 필요하다.
PHP는 서버측에서 동작하는 스크립트 언어로 웹 페이지를 동작으로 생성하는 프로그램을 작성하는데 사용되는 언어다.
현재 77.2%의 웹 어플리케이션이 PHP언어를 통해 작성되고 있다.
PHP는 프로그램을 쉽게 작성할 수 있도록 다양한 편의 기능을 제공해준다.
하지만 이러한 편의기능이 개발자들로 하여금 더 많은 버그들을 만들게 하는 부작용도 가지고 있다.
본 연구에서 우리는 PHP 프로그램이 제대로 된 HTML 문서를 생성하는지를 검사하는 새로운 문자열 분석 도구를 제안한다.
이 도구는 요약해석 기법을 사용하여 PHP 프로그램의 문자열을 분석한다. 이 도구를 통해 우리는 기존 연구에 비해 평균적으로
74.4% 더 많은 버그들을 찾아 낼 수 있었다. 또한 이 도구는 요약해석 기법을 사용했기 때문에 안전하다는 강점을 가진다.
