From 9a2e1731f9698759c37f7c982f7ae4e171c20696 Mon Sep 17 00:00:00 2001 From: Sukyoung Ryu Date: Wed, 8 May 2024 21:36:24 +0900 Subject: [PATCH] index.html --- index.html | 4978 +++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 4963 insertions(+), 15 deletions(-) diff --git a/index.html b/index.html index eaf195469..fc1b653fa 100644 --- a/index.html +++ b/index.html @@ -1,20 +1,4968 @@ - - + + - SAFE + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + kaist-plrg/safe: Scalable Analysis Framework for ECMAScript + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + +
+ Skip to content + + + + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + + + + + + + +
+ +
+ + + + + + + + +
+ + + + + + +
+ + + + + + + + + + +
+ + + + + + + + + + + + + + + + + +
+ +
+ + + + kaist-plrg  /   + safe  /   + +
+
+ + + +
+ + +
+
+ Clear Command Palette +
+ + + + +
+
+ Tip: + Type # to search pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search discussions +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type ! to search projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search teams +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search people and organizations +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type > to activate command mode +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Go to your accessibility settings to change your keyboard shortcuts +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type author:@me to search your content +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:pr to filter to pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:issue to filter to issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:project to filter to projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:open to filter to open content +
+
+ Type ? for help and tips +
+
+ + +
+ +
+
+ We’ve encountered an error and some results aren't available at this time. Type a new search or try again later. +
+ + + No results matched your search + + + + + + + + + + + + + + + + Search for issues and pull requests + + # + + + + Search for issues, pull requests, discussions, and projects + + # + + + + Search for organizations, repositories, and users + + @ + + + + Search for projects + + ! + + + + Search for files + + / + + + + Activate command mode + + > + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Filter to pull requests + + # is:pr + + + + Filter to issues + + # is:issue + + + + Filter to discussions + + # is:discussion + + + + Filter to projects + + # is:project + + + + Filter to open issues, pull requests, and discussions + + # is:open + + + + + + + + + + + + + + + + + + +
+ +
+ + + + + + + + + + +
+ + +
+
+
+ + + + + + + + + + + + + + + + + + + + +
+ +
+ +
+
+ Owner avatar + + + + safe + + + Public +
+ +
+
+ + +
+ +
+
    + +
  • + +
    +
    + Edit Pins + + +
    +
    +
    + Pin to… + +
    +
    + + + +
    +
    +
    +
    +
    +
    +
     +
    +
    +     +
    • + + +
  • + +
    + + + +
    + +     + +
    • + +
  • +
    + Fork + 0 + Fork your own copy of kaist-plrg/safe + +
    + + + +
    + +
    +
    + + + + + + + + + + +
    + +
    +
    +     +
    +
    • + +
  • + + +
    +
    +
    + + +
    + + + +
    +
    +

    Lists

    + + +
    +
    +
    + + + + + + + +
    + +
    +
    +     +
    +
    +
    +
    + +
    + + + +
    +
    +

    Lists

    + + +
    +
    +
    + + + + + + + +
    + +
    +
    +     +
    +
    +
    • + +
  • + + +
    • +
+ +
+
+ +
+
+
+
+
+ +
+ + + + + + + + + + + + +
+
+ +

+ Notifications +

+
+ + +
+ + + + +
+ Notification settings + + + + +
+ +Fork your own copy of kaist-plrg/safe + +
+
+
+ + Unstar this repository + +
+
+ + Star this repository + +
+
+
+ + +
+
+

+ Scalable Analysis Framework for ECMAScript +

+ + +

License

+
+ + + View license + +
+ + +
+ + + + +
+
+ +
+ + Public repository + +
+ +
+ +
+ +
+ +
+
+ +
+ + + + + +
+ Open in github.dev + Open in a new github.dev tab + Open in codespace + + + + + + +

kaist-plrg/safe

+
+
+ + + + + +
+
+ + + + + + + + + + + + + + + + + + + + + +
BranchesTags

Add file

Add file

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1,341 Commits

bin

bin

 
 

doc

doc

 
 

lib

lib

 
 

project

project

 
 

src

src

 
 

tests

tests

 
 

.gitignore

.gitignore

 
 

.jvmopts

.jvmopts

 
 

CNAME

CNAME

 
 

LICENSE

LICENSE

 
 

README.rst

README.rst

 
 

build.sbt

build.sbt

 
 

config.json

config.json

 
 

index.html

index.html

 
 

timestamp

timestamp

 
 

Repository files navigation

Scalable Analysis Framework for ECMAScript (SAFE) Version 2.0 ===========

+

Introduction

+

Copyright (c) 2016, KAIST

+

SAFE 2.0 is a scalable and pluggable analysis framework for JavaScript web applications developed by the Programming Language Research Group at KAIST:

+
+

http://plrg.kaist.ac.kr

+
+

Older versions are still available at the SAFE1.0 branch.

+

For more information, please check out our user manual.

+

Requirements

+

We assume you are using an operating system with a Unix-style shell (for example, Mac OS X, Linux, or Cygwin on Windows). Assuming SAFE_HOME points to the SAFE directory, you will need to have access to the following:

+ +

In your shell startup script, add $SAFE_HOME/bin to your path. The shell scripts in this directory are Bash scripts. To run them, you must have Bash accessible in /bin/bash.

+

Installation

+

Type sbt compile and then sbt test in the SAFE directory to make sure that your installation successfully finishes the tests.

+

Once you have built the framework, you can call it from any directory, on any JavaScript file, simply by typing one of available commands at a command line. You can see the available commands by typing: :

+
safe
+

or with more explanation: :

+
safe help
+

Some of the available commands are as follows:

+
    +
  • parse: parses a JavaScript file.
    • +
  • astRewrite: rewrites a JavaScript AST via Hoister, Disambiguator, and WithRewriter.
    • +
  • compile: translates a JavaScript file to a SAFE intermediate representation.
    • +
  • cfgBuild: builds a control flow graph for a JavaScript file.
    • +
  • analyze: analyzes static properties of JavaScript expressions in a given file.
    • +
+

Changes from SAFE 1.0 ============

+
    +
  • SAFE 2.0 has been tested using Test262, the official ECMAScript (ECMA-262) conformance suite.
    • +
  • SAFE 2.0 now uses sbt instead of ant to build SAFE.
    • +
  • SAFE 2.0 now provides an HTML-based debugger for its analyzer.
    • +
  • Most Java source files are replaced by Scala code and the only Java source code remained is the generated parser code.
    • +
  • Several components from SAFE 1.0 may not be integrated into SAFE 2.0. Such components include interpreter, concolic testing, clone detector, clone refactoring, TypeScript support, Web API misuse detector, and several abstract domains like the string automata domain.
    • +
+

SAFE 2.0 Roadmap ============

+
    +
  • SAFE 2.0 will make monthly updates.
    • +
  • The next update will include a SAFE document, browser benchmarks, and more Test262 tests.
    • +
  • We plan to support some missing features from SAFE 1.0 incrementally such as a bug detector, DOM modeling, and jQuery analysis.
    • +
  • SAFE 2.0 is aimed to be a playground for advanced research in JavaScript web applications. Thus, we intentionally designed it to be light-weight.
    • +
  • Future versions of SAFE 2.0 will address various analysis techniques, dynamic features of web applications, event handling, modeling framework, compositional analysis, and selective sensitivity among others.
    • +
+

Publications

+

Details of the SAFE framework are available in our papers:

+ +

Users

+

SAFE has been used by:

+ +

Authors

+

The current developers of SAFE 2.0 are as follows:

+ +

and the following people have contributed to the source code:

+ +
+ + + +
+
+ +
+
+
+
+ +
+ + + +
+ + + +
+ +

Edit repository details

+
+
+
+
+
+
+ +
+ +
+
+
+
+ +
+ + + +
+
+
+
+
+ +
+
+
    +
  • + + + +
    • + +
+ + + +
    +     +
    +
    +
    +
    + +
    +
    Include in the home page
    + + + + +
    +
    + +
    +
    +
    + + +
    + +
    +     +
    +
    +

    About

    + +

    + Scalable Analysis Framework for ECMAScript +

    + + +

    Resources

    +
    + + + Readme +
    + + +

    License

    +
    + + + View license + +
    + + + + + + + +
    + + + Activity +
    + +
    + + + Custom properties +
    + +

    Stars

    +
    + + + 0 + stars +
    + +

    Watchers

    +
    + + + 7 + watching +
    + +

    Forks

    +
    + + + 0 + forks +
    + +
    + + Report repository +
    +
    + +
    +
    + + +
    +
    +

    + + Releases +

    + +
    No releases published
    +
    Create a new release
    + +
    +
    + + + +
    +
    +

    + + Packages + +

    + + +
    + No packages published
    + Publish your first package +
    + + + +
    +
    + + + + + +
    +
    +

    + + Contributors + 10 +

    + + + + + + + + + +
    +
    + + +
    +
    +

    + + Deployments + 311 +

    + + +
      +
    • + +
      + + Queued + + github-pages + queued +
      +
      • +
    + + +
    + + + 310 deployments +
    +
    +
    + + +
    +
    +

    Languages

    +
    + + + +
    + + +
    +
    + +
    +
    + +
    + +
    + + +
    + +     + + +
    +
    + +
    + +
    +

    Footer

    + + + + +
    +
    + + + + + © 2024 GitHub, Inc. + +
    + + +
    +
    + + + + + + + + + + + + + + + + + + + + +
    + +
    +
    + +