JStype is a static type analyser for JavaScript with tunable sensitivity. It is described under abstract interpretation, and it defines abstract semantics over a CESK-style concrete semantics. JStype is implemented in Java, using Nashorn in JRE to parse JavaScript. JStype can do analysis using different setting of sensitivity, for example, 'fs' stands for flow-sensitive context-insensitive analysis and 'stack-5-4' stands for 5-CFA call site sensitivity and 4-CFA heap sensitivity.
This repository has been archived by the owner on Jul 24, 2019. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
stonebuddha/JStype
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A Static Type Analyser for JavaScript with Tunable Sensitivity
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published