Differences

This shows you the differences between two versions of the page.

--- phantm [2011/05/12 17:01]
ekneuss
+++ phantm [2012/06/27 15:53]
ekneuss
@@ Line 1: / Line 1: @@
 {{phantm-blue-solid.png|}}
@@ Line 7: / 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.
-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__** //15.05.2011//: %%phantm%% **1.0.6** has been released, see [[phantm:releases|Releases]] for more details.
@@ Line 19: / Line 19: @@
   * [[phantm:faq|FAQ]]
   * [[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 =====
@@ Line 32: / Line 36: @@
 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]]