statyczna analiza kodu Opcje

[jaTroll]

Witam wszystkich

Szukałem ostatnio jakiegoś narzędzia do statycznej analizy kodu, w szczególności zależy mi na detekcji kilku "konstrukcji" które w 99% wypadków są wynikiem błędu np:

* $$zmienna
* $obj->$pole
* $obj = new Object(), ale Object.php nie był zainkludowany
* ostrzerzenie o użyciu lokalnej zmiennej, która nie została zainicjowana

Znalazłem takie narzędzie: http://pear.php.net/manual/en/package.php....codesniffer.php. Problem w tym, że przynajmniej w podstawowej wersji, sprawdza zgodność ze standardami kodowania typu, czy każda funkcja poprzedzona jest dokiem. Dla mnie to trochę za mało. Prawdopodobnie część z rzeczy o które mi chodzi da się załatwić pisząc wtyczkę do tego narzędzia, ale może istnieje coś z czym będzie mniej problemów.

Czy ktoś słyszał albo miał styczność z takim narzędziem?

[Crozin]

Możesz mieć poważny problem ze znalezieniem takiego narzędzia bo:
1. Pierwsze dwa punkty są w pełni poprawnym kodem PHP.
2. Poprawność dwóch ostatnich da się sprawdzić dopiero w czasie wykonywania:

[PHP] pobierz, plaintext 
$a = 'd';
$$a = 'c';
 
echo $d; // dopiero w czasie wykonywania można określić istnienie tej zmiennej
 
// ---------
 
$inc = /* pobierz skądś wartość "Object" */;
require '..../libs/' . $inc . '.php';
$obj = new Object(); // dopiero w czasie wykonywania można określić istnienie klasy Object
[PHP] pobierz, plaintext 

A wszystkie tego typu narzędzia dadzą Ci informacje o błędzie jedynie w przypadku, gdy są one tego pewne.