search

TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

Make array key types in function signature map more precise #120

Closed TysonAndre closed 6 years ago

TysonAndre commented 6 years ago

This depends on phan generic array types including key types in the union types, which is planned.

E.g. array_values(T[]) returns array<int, T>

Commonly used internal functions can be discovered by parsing the ASTs of commonly used frameworks, etc.