68 Commits

Author	SHA1	Message	Date
Matt Brown	5e0a8c4339	Inherit correct self return type	2018-01-26 10:59:30 -05:00
Matthew Brown	ea28ee709d	Improve unused variable detection slightly	2018-01-25 01:04:26 -05:00
Matthew Brown	68b00ea49a	Add automatic fix for PossiblyUndefinedVariable	2018-01-21 16:24:20 -05:00
Matt Brown	edde8930af	Speed up Psalm by caching result of Union::getId	2018-01-09 15:05:48 -05:00
Matthew Brown	81cfe09fae	Improve reporting of classlike locations in docblocks	2018-01-01 20:04:03 -05:00
Matthew Brown	17edb2bbe6	Add better understanding of arrays with keyed integer offsets (#400) ... * Add tests for keyed integer assignemnt * First pass to get keyed integer assignment working * Fix array assignment to object-like with different key type * Improve treatment of objectlikes for callable and iterable comparisons * Fix array assignment to strings and addition * Convert expression to CNF * Do better at merging property types * Fix array_rand key type	2017-12-18 18:47:17 -05:00
Matthew Brown	3b7c84f484	Detect instances where loop invariants are invalidated ... Fixes #389	2017-12-17 10:58:03 -05:00
Matthew Brown	31ce716647	Widen empty array checks	2017-12-10 16:17:27 -05:00
Gerrit Addiks	de09bd846c	Fixes #367; Added missing declaration for var_comment variable in ForEachChecker (#368)	2017-12-04 08:50:59 -05:00
Matthew Brown	d20b8d3034	Improve loop analysis (#365)	2017-12-02 18:28:18 -05:00
Matt Brown	062d46c132	Update to latest php-cs-fixer	2017-11-30 19:00:09 -05:00
Matthew Brown	888b5dae00	Move LoopChecker into its own file	2017-11-30 01:07:20 -05:00
Matthew Brown	f27bd50abe	Add RedundantCondition issue, replacing FailedTypeResolution (#344) ... * Group changes * Don’t worry about vars defined before exiting * Fix issues with vars defined in conditionals * Add failing test * Only add failed reconciliation flag if nothing could be salvaged * Avoid notice when removing clauses * Improve handling of loops * Fix evaluation of binary op expressions * Remove unset vars from outer context after loop * Ignore RedundantCondition in some more configs	2017-11-28 00:46:41 -05:00
Matthew Brown	18e68a60de	Fix #334 by allowing interfaces as foreach args to be correctly interpreted	2017-11-24 12:57:00 -05:00
Matthew Brown	c86e73ddb6	Always keep track of referenced var ids ... which we can use for analysis elsewhere	2017-11-24 12:17:28 -05:00
Matthew Brown	abe7c003ab	Fix #309 - borrowing fix from @TysonAndre	2017-11-15 20:45:53 -05:00
Matt Brown	bce8bdb46e	Ignore traversable, iterable etc for RawObjectIteration	2017-11-15 12:09:13 -05:00
Matt Brown	4ff9ec2853	Don’t warn about traversable objects	2017-11-15 11:58:46 -05:00
Matthew Brown	f96f3a467d	Fix #296 - add issue for raw object iteration	2017-11-14 22:55:48 -05:00
Matthew Brown	b2ae9a2892	Fix #291, #292 and #297 by improving docblock parsing	2017-11-14 21:43:31 -05:00
Matthew Brown	765d82548d	Remove more dead code	2017-11-08 23:27:51 -05:00
Matthew Brown	6b4bd47ddb	Fix #181 and #225 - resolve problems with self in comments/return statements	2017-10-07 10:22:52 -04:00
Matt Brown	4b5a5ead74	Fix paradox detection for multiple clauses	2017-08-07 18:38:38 -04:00
Matthew Brown	4175295113	Isolate where we load static storage objects (#195) ... * Move FileChecker::$storage calls to provider * Add ClassLikeStorageProvider * Use ClassLikeStorageProvider everywhere * Move storage arrays into providers	2017-07-29 15:05:06 -04:00
Matthew Brown	e29dd140e3	Refactor scanning and analysis, introducing multithreading (#191) ... * Add failing test * Add visitor to soup up classlike references * Move a whole bunch of code into the visitor * Move some methods back, move onto analysis stage * Use the getAliases method everywhere * Fix refs * Fix more refs * Fix some tests * Fix more tests * Fix include tests * Shift config class finding to project checker and fix bugs * Fix a few more tests * transition test to new syntax * Remove var_dump * Delete a bunch of code and fix mutation test * Remove unnecessary visitation * Transition to better mocked out file provider, breaking some cached statement loading * Use different scheme for naming anonymous classes * Fix anonymous class issues * Refactor file/statement loading * Add specific property types * Fix mapped property assignment * Improve how we deal with traits * Fix trait checking * Pass Psalm checks * Add multi-process support * Delay console output until the end * Remove PHP 7 syntax * Update file storage with classes * Fix scanning individual files and add reflection return types * Always turn XDebug off * Add quicker method of getting method mutations * Queue return types for crawling * Interpret all strings as possible classes once we see a `get_class` call * Check invalid return types again * Fix template namespacing issues * Default to class-insensitive file names for includes * Don’t overwrite existing issues data * Add var docblocks for scanning * Add null check * Fix loading of external classes in templates * Only try to populate class when we haven’t yet seen it’s not a class * Fix trait property accessibility * Only ever improve docblock param type * Make param replacement more robust * Fix static const missing inferred type * Fix a few more tests * Register constant definitions * Fix trait aliasing * Skip constant type tests for now * Fix linting issues * Make sure caching is off for tests * Remove unnecessary return * Use emulative parser if on PHP 5.6 * Cache parser for faster first-time parse * Fix constant resolution when scanning classes * Remove test that’s beyond a practical scope * Add back --diff support * Add --help for --threads * Remove unused vars	2017-07-25 16:11:02 -04:00
Matthew Brown	6b2b80d0bb	Assign var to correct context	2017-06-13 00:09:15 -04:00
Matthew Brown	22a716f4da	Improve formatting of phpdocs	2017-05-26 20:16:18 -04:00
Matthew Brown	688a72c794	Fix #36 - emit issues on deprecated properties	2017-05-25 01:32:34 -04:00
Matthew Brown	4fd46e1752	Improve formatting	2017-05-24 22:07:49 -04:00
muglug	65d86d35ad	Separate iterator issues	2017-05-22 11:59:58 -04:00
Matthew Brown	7532e32b9d	Fixed spacing and use statement formatting	2017-05-19 00:48:26 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	9b41bc9b37	Add slower (but more accurate) loop checks	2017-03-14 20:14:25 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00
Matt Brown	fa63afc27d	Change property name	2017-03-13 11:23:26 -04:00
Matthew Brown	5cd1b6735f	Add even more references in docblocks	2017-03-01 22:27:52 -05:00
Matt Brown	864d242f13	Improve labelling of referencing expressions	2017-03-01 11:56:36 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matt Brown	2c1622e7de	Find more unreferenced variables by ignoring mass context ops	2017-02-10 19:08:55 -05:00
Matt Brown	c0a6fc9125	Fix #90 - add genericised stubs for common array functions	2017-02-10 18:12:59 -05:00
Matt Brown	f4857eb0dd	Make dead code check emit an issue	2017-02-07 18:18:33 -05:00
Matt Brown	6b2bb7d917	Store first code location for all variables in a statement list	2017-02-07 18:09:12 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	7d912fc214	Remove vars when they’ve been changed	2017-01-30 22:26:41 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	bf76843d94	Fix foreach dependency errors	2017-01-09 00:58:05 -05:00
Matthew Brown	17329015dc	Discriminate between checking, visiting and analyzing in method names	2017-01-07 15:09:47 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00