noverify

noverify copied to clipboard

Add diff mode tests

3

noverify is only tested in normal mode where it reports all issues that were found. The diff (git) mode is what may be the most important feature for the real...

quasilyte

Report is_T($x) where $x is always/never is T

2

## Code Example ```php $x = new Foo(); if (is_int($x)) { //

quasilyte

Store all definition positions instead of only 1

2

If a symbol (function, class, etc) is defined more than once inside a project (or even a file), we could store a slice of positions instead of trying to choose...

quasilyte

Report non-literal key duplicates in dupArrayKeys diagnostic

4

## Code Example ```php // 1. Constants $example1 = [ C1 => 1, C2 => 2, C1 => 3, // Duplicate key C1 ]; $example2 = [ T::C1 => 1,...

quasilyte

Handle duplicates (overloadings) in phpstorm stubs

1

## Code Example https://github.com/JetBrains/phpstorm-stubs/blob/b1041ca15222138a1d3d3aa4afb096df215bdc2e/standard/standard_1.php#L618 ```php function strtr ($str, $from, $to) {} function strtr ($str, array $replace_pairs) {} ``` Here we have 2 definitions for `strtr`, but only first is recorded,...

quasilyte

This implementation may be ported to NoVerify: * https://github.com/superhuman/rxxr2 * https://www.cs.bham.ac.uk/~hxt/research/rxxr2/ It doesn't look simple to port though. More info on the kinds of patterns we want to detect: *...

quasilyte

## Code Example ```php while (isset($x)) { // use of $x inside a loop } ``` ## Actual Behavior Warning about undefined `$x`. ## Expected Behavior No warnings. instanceof also...

quasilyte

## Code Example ```php

quasilyte

## Code Example ```php

quasilyte

## Code Example ```php

panychek