JavaScript Type InferenceThe type inference algorithm is based on the CFA2 control-flow analysis. Currently, it handles core JavaScript only (DOM support will be added soon). For comments and suggestions, email: dimvar at ccs dot neu dot edu.
Type Analysis for JavaScript
TAJS is a program analysis tool that can infer detailed and sound type information for JavaScript programs using abstract interpretation. Read the papers: Type Analysis for JavaScript (presented at SAS'09) [abstract | PDF | BibTeX] Interprocedural Analysis with Lazy Propagation (presented at SAS'10) [abstract | PDF | BibTeX] Modeling the HTML DOM and Browser API in Static Analysis of JavaScript We
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - mozilla/doctorjs: A set of static analysis tools for JavaScript
