EmpireJS 2012 Talk
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ページを開ã
DBridge Home
{{#tags}}- {{label}}
{{/tags}}