EmpireJS 2012 Talk
Content-Length: 219534 | pFad | http://b.hatena.ne.jp/mooz/code_analysis/
Bringing JavaScript Code Analysis to The Next Level
EmpireJS 2012 Talk
GitHub - facebookarchive/pfff: Tools for code analysis, visualizations, or style-preserving source transformation.
pfff is a set of tools and APIs to perform static analysis, code visualizations, code navigations, or style-preserving source-to-source transformations such as refactorings on source code. There is good support for C, Java, Javascript and PHP. There is also preliminary support for other languages such as C++, Rust, C#, Html, CSS, Erlang, Lisp, Haskell, Python, OPA and SQL. There is also very good
Frama-C - Framework for Modular Analysis of C programs
Latest News 2024-12-11 MetAcsl v0.8 for Frama-C 30.0 Zinc 2024-12-09 Frama-Clang v0.0.17 for Frama-C 30.0~ Zinc 2024-12-05 Release of Frama-C 30.0 (Zinc) 2024-11-15 MetAcsl v0.8~beta for Frama-C 30.0~ Zinc 2024-11-15 frama-clang v0.0.17~beta for Frama-C 30.0~ Zinc 2024-11-07 Beta release of Frama-C 30.0~beta (Zinc) 2024-10-07 Internship Position at CEA List - LSL 2024-10-07 Internship Position at
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
静的コード解析 - Wikipedia
静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis) とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ[1]。静的コード解析はソースコードに対して行われることが多いが、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。日本語では静的コード分析とも訳される[2]。 ツールが行う静的コード解析の洗練度は、個々の文や宣言だけを検証するものから、プログラム全体を解析するものまで様々である。解析結果の利用も様々で、Lintのように単に指摘するだけの
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fetched URL: http://b.hatena.ne.jp/mooz/code_analysis/
Alternative Proxies:
DBridge Home
