JSdep 다운로드 JSdep 소스 코드 다운로드

JSdep

기타 카테고리

1.0.0

다운로드

JSDEP (DOM- 의존성 분석)

JSDEP 인용

 @inproceedings{DBLP:conf/sigsoft/SungKS016,
  author    = {Chungha Sung and
               Markus Kusano and
               Nishant Sinha and
               Chao Wang},
  title     = {Static {DOM} event dependency analysis for testing web applications},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {447--459},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950292},
  doi       = {10.1145/2950290.2950292},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SungKS016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

JSDEP는 Datalog 제약 조건을 사용한 전통적인 제어 및 데이터 의존성을 포함하여 웹 응용 프로그램의 DOM-Evelent 종속성을 찾는 도구입니다.
하나의 JavaScript 파일을 통계적으로 가로 지르고 DOM의 두 이벤트 사이의 관계를 찾습니다.
이 도구에는 수정 된 버전의 Artemis가 포함되어있어 FSE 용지에 제시된 평가를 표시합니다 (나타냄).
이 도구의 특성
- 정적 및 문맥 및 컨텍스트에 민감한 별칭 anlaysis
- 이 도구는 Dom-Alias Anlaysis를 지원하지 않습니다
- 이 도구는 HTML에서 JavaScript의 추출을 지원하지 않습니다 (우리가 가진 벤치 마크에 대해 수동으로 추출한 모든 JavaScripts).
JSDEP의 구조
- 이 그림에서, 우리가 가진 저장소의 모든 디렉토리는 폴더로 표시되며 출력 파일은 메모장 아이콘으로 표시됩니다. 그리고 화살표 옆에있는 명령은 JSDEP에서 사용할 수있는 실제 스크립트입니다. 주로 JSDEP에는 세 부분이 있습니다.
- DOM 분석 -이 부분에는 주요 분석이 포함되어 있습니다. 3 개의 디렉토리 (SRC, Z3_RULES, NODE_MODULES)로 구성됩니다. 모든 종속성을 설치 한 후 파일 이름으로 빌드 펙트를 만들거나 빌드 디프를 만들 때 분석은 각 벤치 마크의 정보 디렉토리에서 3 개의 파일 (dep.txt, numconstraints.txt, z3.time)을 생성합니다. 종속성 결과는 dep.txt로 인쇄되며 각 파일의 분석 시간은 z3.time에 기록됩니다. 또한 생성 된 제약 조건의 수는 NumConstraints.txt에 기록됩니다.
- 수정 된 Artemis- 사용자가 분석의 유용성을 확인하도록하기 위해 우리는 우리가 가진 정보를 사용하도록 수정 된 Artemis를 제공합니다. Artemis를 실행하기 전에 설치해야합니다. 수정 된 버전의 Artemis를 설치 한 후에는 두 가지 버전을 비교할 수 있습니다. 명령을 실행함으로써 파일 이름으로 Run-Artemis를 만들거나 Run-Artemis-All을 만들면 각 벤치 마크 아래에서 dep.txt를 사용하고 각 벤치 마크에 대해 Artemis-Result 디렉토리에서 두 개의 파일을 생성합니다. Old_artemis.stdout은 이전 버전의 Artemis의 출력이며 New-Artemis.stdout은 dev.txt의 정보를 사용하는 수정 된 Artemis의 출력입니다.
- RAW -DATA-이 디렉토리는 설치 및 분석을 실행하지 않고 테이블을 만들려는 사용자에게 제공됩니다. 모든 데이터가 업로드 되었고이 디렉토리의 구조는 벤치 마크와 동일합니다. 명령을 실행하면 표 1을 만들고 표 2를 만들고 표 3을 만들면 종이에 사용 된 각 테이블을 얻을 수 있습니다. 테이블은 터미널에 인쇄되며 형태는 라텍스 용입니다. 따라서 인쇄물을 복사하여 라텍스에 붙여 넣으면 논문에서 보여준 것과 동일한 테이블이 표시됩니다. 그리고 새로운 데이터를 생성하여 테이블을 만들고자하는 사람들에게는 하나의 명령을 더 제공합니다. 이 명령은 벤치 마크 아래의 모든 데이터를 원시 데이터 디렉토리로 가져옵니다. 이전과 마찬가지로 새 데이터를 가져 오면 테이블 명령을 실행하여 동일한 구조 테이블을 쉽게 만들 수 있습니다.

기고자

다음 사람들은이 애플리케이션과 논문에 기여했습니다.

Chungha Sung (sch8906/at/vt/edu)
Markus Kusano (Mukusano/at/vt/edu)
Nishant Sinha
Chao Wang (Chaowang/at/vt/edu)

프로그램 종속성

환경
- 우리는 Ubuntu 12.04에서만이 프로그램을 테스트했습니다
- 우리는 다른 우분투 버전으로 확인하지 않았습니다
DOM 의존성 관계를 실행하기 위해 정적 분석 만 실행하려면 이러한 종속성이 필요합니다.
- Z3 (https://github.com/z3prover/z3), 모든 버전 (4.4.1로 테스트).
- nodejs (이것을 설치하려면 sudo apt-get install nodejs 입력하십시오)
- RealPath (이것을 설치하려면 sudo apt-get install realpath 입력하십시오)
Artemis를 테스트하려면 먼저 수정 된 버전의 Artemis를 설치해야합니다.
- Artemis-Modified Directory의 명령어를 따라 설치할 수 있습니다 (때로는 올바르게 설치하기가 어렵지만 크기 제한으로 인해 완전히 컴파일 된 버전을 제공 할 수는 없습니다).
- 이 버전은 이전 버전의 Artemis와 프로그램의 종속성 관계를 사용하는 Artemis의 수정 된 버전을 비교하도록 수정되었으므로 제공하는 버전을 사용해야합니다.
JSDEP 설치 (https://drive.google.com/open?id=1o70kdlfwhan4j06y5nhtqopbqiqciyrq)가있는 VM (Virtual Box의 OVA 파일) 링크. 그러나 이것은 매우 오래 전에 업데이트되었으므로 몇 가지 문제가있을 수 있습니다.

용법

build-dep file = [filename] 만들기
- 지정된 파일의 종속성 관계를 구축하십시오
- 각 벤치 마크 디렉토리의 정보 디렉토리 아래에서 이러한 파일을 만듭니다.
  - dep.txt : 지정된 파일의 종속성 관계
  - Z3. 시간 : 분석 시간
  - Numconstraints.txt : 생성 된 제약 조건 수
빌드 데 필요한 일을 만드십시오
- 모든 파일에 대한 종속성 관계를 구축하십시오
- 각 벤치 마크 디렉토리의 정보 디렉토리 아래에서 이러한 파일을 만듭니다.
  - dep.txt : 지정된 파일의 종속성 관계
  - Z3. 시간 : 분석 시간
  - Numconstraints.txt : 생성 된 제약 조건 수
페치 데이터를 만드십시오
- 벤치 마크 디렉토리에서 원시 데이터 디렉토리로 결과 테이블을 만드는 데 필요한 모든 데이터를 가져 오십시오.
표 1을 만듭니다
- 원시 데이터를 사용하여 FSE 용지에 사용 된 표 1 구축
표 2를 만듭니다
- 원시 데이터를 사용하여 FSE 용지에 사용 된 표 2를 구축하십시오.
표 3을 만듭니다
- 원시 데이터를 사용하여 FSE 용지에 사용 된 표 3을 구축하십시오.
- MakeFile의 반복 번호를 변경하여 다른 수의 반복이있는 테이블을 작성할 수 있습니다.

===== 아래 에서이 comands를 실행하기 위해 제공하는 수정 된 Artemis 버전을 설치해야합니다 =====

run-Artemis 파일을 만듭니다 = [filename] iter = [반복]
- dep.txt를 먼저 얻으려면 종속성 분석을 실행해야합니다.
- 지정된 파일과 지정된 반복 번호로 이전 버전의 Artemis를 실행합니다.
Run-Artemis-All Ier = [반복] 만들기
- dep.txt를 먼저 얻으려면 종속성 분석을 실행해야합니다.
- 지정된 중간 번호가있는 모든 파일로 이전 버전의 Artemis를 실행합니다.