Matthew Brown 3b7c84f484 Detect instances where loop invariants are invalidated ...

Fixes #389

2017-12-17 10:58:03 -05:00

..

Statements

Detect instances where loop invariants are invalidated

2017-12-17 10:58:03 -05:00

AlgebraChecker.php

Fix empty checks, make them more like isset checks

2017-12-05 12:14:10 -05:00

CanAlias.php

Fix issues that improved array checks found

2017-11-19 12:14:02 -05:00

ClassChecker.php

Isolate where we load static storage objects (#195)

2017-07-29 15:05:06 -04:00

ClassLikeChecker.php

Remove dead code

2017-12-16 10:51:04 -05:00

ClosureChecker.php

…

CommentChecker.php

Don’t treat callmap scalar types as any sort of filtering mechanism

2017-12-15 16:48:06 -05:00

FileChecker.php

Add UndefinedGlobalVariable issue and asssociated Possibly... one

2017-12-06 00:56:00 -05:00

FunctionChecker.php

Don’t treat callmap scalar types as any sort of filtering mechanism

2017-12-15 16:48:06 -05:00

FunctionLikeChecker.php

Remove dead code

2017-12-16 10:51:04 -05:00

InterfaceChecker.php

Fix phpdoc in psalm's codebase referring to missing params. (#273)

2017-11-08 23:32:22 -05:00

MethodChecker.php

Fix issues found by improved Psalm checks

2017-11-24 12:10:30 -05:00

NamespaceChecker.php

Fix #228, fix #336 by improving checking of inherited signatures

2017-11-26 16:03:17 -05:00

ProjectChecker.php

Improve RedundantCondition checks and add true type

2017-12-09 14:53:39 -05:00

ScopeChecker.php

Remove more methods never called

2017-12-16 10:59:04 -05:00

SourceChecker.php

Fix return {expr} checks for void functions

2017-12-14 12:50:02 -05:00

StatementsChecker.php

Detect instances where loop invariants are invalidated

2017-12-17 10:58:03 -05:00

TraitChecker.php

Remove dead code

2017-12-16 10:51:04 -05:00

TypeChecker.php

Fix issue with equality of scalar types not from docblock

2017-12-14 11:23:20 -05:00