Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
phantm [2010/12/06 01:33] vkuncak |
phantm [2012/06/27 15:53] ekneuss |
||
---|---|---|---|
Line 1: | Line 1: | ||
{{phantm-blue-solid.png|}} | {{phantm-blue-solid.png|}} | ||
+ | |||
+ | |||
Line 6: | Line 8: | ||
Welcome to the //phantm// wiki! Phantm analyzes PHP code statically (with optional help from dynamic instrumention). It has found many errors in real PHP applications. | Welcome to the //phantm// wiki! Phantm analyzes PHP code statically (with optional help from dynamic instrumention). It has found many errors in real PHP applications. | ||
- | See [[http://project.colder.ch/demo/|demo of phantm]] (the demo shows very small examples for illustration purposes; note that phantm runs on 50'000 lines of code in about a minute). | ||
- | **__News__** //17.08.2010//: %%phantm%% **1.0.5** has been released, see [[phantm:releases|Releases]] for more details. | + | **__News__** //15.05.2011//: %%phantm%% **1.0.6** has been released, see [[phantm:releases|Releases]] for more details. |
You'll find more information in the following sections dedicated on various aspects of //phantm//: | You'll find more information in the following sections dedicated on various aspects of //phantm//: | ||
Line 18: | Line 19: | ||
* [[phantm:faq|FAQ]] | * [[phantm:faq|FAQ]] | ||
* [[phantm:options|Options]] | * [[phantm:options|Options]] | ||
+ | |||
+ | |||
+ | ===== Online Demo ===== | ||
+ | The easiest way to play with Phantm is to try it on the [[http://phantm.croustillant.ch/|live demo site]]. It also contains multiple predefined scripts highlighting important features of Phantm. | ||
===== Getting started ===== | ===== Getting started ===== | ||
Line 31: | Line 36: | ||
For a detailed description of the available options, see [[phantm:options|Options]]. | For a detailed description of the available options, see [[phantm:options|Options]]. | ||
+ | |||
+ | ===== Publications ===== | ||
+ | |||
+ | Parts of phantm are described in the following papers: | ||
+ | |||
+ | * E. Kneuss, P. Suter, V. Kuncak. //Runtime Instrumentation for Precise Flow-sensitive Analysis//. RV 2010, pp. 300-314. [[http://lara.epfl.ch/~kuncak/papers/KneussETAL10RuntimeInstrumentationforPreciseFlow.pdf|PDF]] | ||
+ | * E. Kneuss, P. Suter, V. Kuncak. //Phantm: PHP Analyzer for Type Mismatch (Research Demonstration)//. FSE 2010, pp. 373-374. [[http://lara.epfl.ch/~kuncak/papers/KneussETAL10Phantm.pdf|PDF]] |