Matthew Brown
|
a89018d9ae
|
Only warn about issues in files that we’re trying to scan
|
2017-03-24 18:34:46 -04:00 |
|
Matthew Brown
|
676c01ed2e
|
Fix nullref
|
2017-03-20 02:23:54 -04:00 |
|
Matthew Brown
|
066b1e011e
|
Prevent creating empty objectlike
|
2017-03-20 02:05:58 -04:00 |
|
Matthew Brown
|
caf72bda52
|
Shave off a little extra time by caching file_checker refs
|
2017-03-19 23:30:20 -04:00 |
|
Matthew Brown
|
fc4a72d905
|
Store reflected variadic function parameters
|
2017-03-19 18:31:19 -04:00 |
|
Matthew Brown
|
d69ff4e16e
|
Remove var_dump
|
2017-03-19 18:25:30 -04:00 |
|
Matthew Brown
|
f2f944d4c0
|
Prevent trying to open invalid file paths
|
2017-03-19 18:20:48 -04:00 |
|
Matthew Brown
|
7ed188fa52
|
Add support for conditional stubbed functions
|
2017-03-19 15:41:24 -04:00 |
|
Matthew Brown
|
cbd7a4520c
|
Add support for namespaced function definitions
|
2017-03-19 15:37:07 -04:00 |
|
Matthew Brown
|
2d88e237f4
|
Make method non-static
|
2017-03-19 13:23:19 -04:00 |
|
Matthew Brown
|
b1b7b0ae35
|
Only include vars asserted in where
|
2017-03-18 16:34:44 -04:00 |
|
Matthew Brown
|
9a3049b5bc
|
Make sure switch contexts know their parents
|
2017-03-18 15:28:59 -04:00 |
|
Matthew Brown
|
cb2ed860fb
|
Make sure to invalidate clauses in all parent contexts when asserting
|
2017-03-18 15:24:14 -04:00 |
|
Matthew Brown
|
18af05fbd9
|
Do not stop at magic setter when property referenced locally
|
2017-03-18 15:00:01 -04:00 |
|
Matthew Brown
|
3452c7853f
|
Add support for capturing clauses from elseifs
|
2017-03-18 14:04:26 -04:00 |
|
Matthew Brown
|
c33e66813a
|
Move type algebra functionality to separate checker
|
2017-03-18 13:37:00 -04:00 |
|
Matthew Brown
|
e687887ba3
|
Emit an InvalidReturnType when it should contain null, and introduct LessSpecificReturnType
|
2017-03-18 12:18:17 -04:00 |
|
Matt Brown
|
30e8e1880d
|
Add another easy calculation of clauses
|
2017-03-16 14:45:45 -04:00 |
|
Matt Brown
|
cecfe25df7
|
Update outer clauses in mic drop situation
|
2017-03-16 11:46:07 -04:00 |
|
Matt Brown
|
0c0a30d6ea
|
Make Psalm insensitive to case-sensitive filenames
|
2017-03-16 10:58:13 -04:00 |
|
Matt Brown
|
04363237c5
|
Fix #116 - be more lenient with static vars
|
2017-03-15 15:21:00 -04:00 |
|
Matt Brown
|
7fad81edac
|
Fix issue with unset var in loop
|
2017-03-15 11:38:23 -04:00 |
|
Matthew Brown
|
9b41bc9b37
|
Add slower (but more accurate) loop checks
|
2017-03-14 20:14:25 -04:00 |
|
Matthew Brown
|
6cfe540c98
|
Fix issue evaluating elseif empty assertions
|
2017-03-14 15:48:52 -04:00 |
|
Matthew Brown
|
9dd94d099f
|
Fix issue with possibly-redefined switch vars
|
2017-03-14 02:00:38 -04:00 |
|
Matthew Brown
|
50b629e88e
|
Update context types after switch statement without default case
|
2017-03-13 21:17:21 -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
|
a7da88bad3
|
Improve solution to allow for more user errors
|
2017-03-11 12:32:27 -05:00 |
|
Matthew Brown
|
f6066aaded
|
Log references to parent classes
|
2017-03-10 19:36:17 -05:00 |
|
Matthew Brown
|
ce253ad5c3
|
Only get a single atomic type when checking mutations
|
2017-03-09 18:10:50 -05:00 |
|
Matthew Brown
|
048d7f0142
|
Fix #110 - failure to eliminate false from array|false on isset
|
2017-03-05 23:47:53 -05:00 |
|
Matt Brown
|
4619ef1390
|
Re-enable dead code detection
|
2017-03-03 15:54:08 -05:00 |
|
Matt Brown
|
f9f38f283e
|
Emit issue when property type is not defined
|
2017-03-02 12:19:18 -05:00 |
|
Matthew Brown
|
7f3a763303
|
Allow multiple references per row
|
2017-03-02 01:10:00 -05:00 |
|
Matthew Brown
|
18b5617443
|
Prevent duplicate lookup of functionstorage
|
2017-03-02 00:00:31 -05:00 |
|
Matthew Brown
|
5cd1b6735f
|
Add even more references in docblocks
|
2017-03-01 22:27:52 -05:00 |
|
Matt Brown
|
6d1f557ca4
|
Add docblock type location
|
2017-03-01 18:36:04 -05:00 |
|
Matt Brown
|
864d242f13
|
Improve labelling of referencing expressions
|
2017-03-01 11:56:36 -05:00 |
|
Matt Brown
|
518184f388
|
Don’t do a full class check where not necessary
|
2017-02-28 11:00:32 -05:00 |
|
Matthew Brown
|
f55c754eab
|
Include use references to classes in reference collection
|
2017-02-28 00:29:28 -05:00 |
|
Matt Brown
|
b948198ca9
|
Also collect use path locations
|
2017-02-27 18:24:20 -05:00 |
|
Matt Brown
|
4f597a4068
|
Fix references
|
2017-02-27 16:38:43 -05:00 |
|
github@muglug.com
|
07c9cfb848
|
Check template typeof class references
|
2017-02-27 16:35:24 -05:00 |
|
Matt Brown
|
cbb8252125
|
Don’t be sensitive to casing differences in file paths
|
2017-02-27 12:02:13 -05:00 |
|
Matt Brown
|
729954573b
|
Allow generics to work even if variables not checked
|
2017-02-27 11:07:44 -05:00 |
|
Matt Brown
|
ac1a45f129
|
Fix erroneous error message
|
2017-02-27 10:53:32 -05:00 |
|
Matt Brown
|
7baf942eaa
|
Prevent false positives after extract call
|
2017-02-27 10:52:43 -05:00 |
|
Matthew Brown
|
d9433c9491
|
Add way to find all references to a given class or method in the codebase
|
2017-02-27 01:30:44 -05:00 |
|
Matthew Brown
|
cd5f727d2e
|
Collect explicit references to classes/methods
|
2017-02-26 23:09:18 -05:00 |
|
Matthew Brown
|
8db6921f1c
|
More graceful early exit if not checking variables
|
2017-02-24 21:27:52 -05:00 |
|
Matt Brown
|
182f715b62
|
Add dead code detection for possibly unused public methods
|
2017-02-23 19:52:23 -05:00 |
|
Matt Brown
|
0049e4deb4
|
Fix #105 and also the issues found in its wake
|
2017-02-23 19:36:51 -05:00 |
|
Matthew Brown
|
fa3b292fd4
|
Fix #101 - restrict the values of pass-by-ref variables
|
2017-02-23 00:25:28 -05:00 |
|
Matt Brown
|
444a56f4f5
|
Nest file class registration in conditional
|
2017-02-22 17:26:20 -05:00 |
|
Matthew Brown
|
47de866601
|
Fix issue using abstract methods from traits
|
2017-02-22 01:25:51 -05:00 |
|
Matthew Brown
|
12cb72ae4b
|
Prevent recursion when checking for initialisations
|
2017-02-22 00:51:34 -05:00 |
|
Matthew Brown
|
48335b6fee
|
Fix potential invalid arg
|
2017-02-22 00:42:50 -05:00 |
|
Matthew Brown
|
b2957ef4e4
|
Remove redundant property
|
2017-02-22 00:06:31 -05:00 |
|
Matt Brown
|
c85b6b376b
|
Merge do vars in scope
|
2017-02-21 17:48:12 -05:00 |
|
Matt Brown
|
a56456a719
|
Add merging of vars_possibly_in_scope back
|
2017-02-21 17:41:54 -05:00 |
|
Matt Brown
|
fa35c0efa9
|
Remove changed vars from clauses in while loop to prevent re-application of logic
|
2017-02-21 17:19:15 -05:00 |
|
Matt Brown
|
2c7ffb6f4c
|
Add support for negating some while assertions
|
2017-02-21 16:52:27 -05:00 |
|
Matt Brown
|
c6a625c16e
|
Fix #102 - be more lenient about whether a type can be reconciled
|
2017-02-21 16:15:39 -05:00 |
|
Matthew Brown
|
4348888b3e
|
Prevent error when no params are given
|
2017-02-21 01:56:43 -05:00 |
|
Matthew Brown
|
30c5977825
|
Fix issue with do statement breaking
|
2017-02-18 17:49:34 -05:00 |
|
Matthew Brown
|
e61ea17db5
|
Move FileChecker functionality into separate, better-contained classes
|
2017-02-18 13:41:27 -05:00 |
|
Matthew Brown
|
9137727993
|
Fix #99 - treat null coalesce more respectfully
|
2017-02-17 20:50:47 -05:00 |
|
Matthew Brown
|
7cd1b27ff1
|
Add more support for logical and/or
|
2017-02-16 21:00:45 -05:00 |
|
Matthew Brown
|
9579460c59
|
Fix #97 - is_callable shouldn’t prevent evaluation of calls to existing functions
|
2017-02-16 20:51:53 -05:00 |
|
Matthew Brown
|
2d58531631
|
Fix #98 - add support for logical and/or
|
2017-02-16 20:43:23 -05:00 |
|
Matthew Brown
|
32dd5d5512
|
Be better about dealing with byref args when not checking functions
|
2017-02-15 01:47:03 -05:00 |
|
Matthew Brown
|
8ae4bf6a18
|
Add initial support for server mode
|
2017-02-15 00:16:29 -05:00 |
|
Matt Brown
|
83a978ea80
|
Fix array_filter on string-keyed arrays
|
2017-02-13 19:16:25 -05:00 |
|
Matthew Brown
|
0277ca49ba
|
Add config creation utility
|
2017-02-12 23:59:43 -05:00 |
|
Matthew Brown
|
500044dac1
|
Make sure $argv and $argc are not globally available
|
2017-02-12 22:12:31 -05:00 |
|
Matthew Brown
|
1001e03f8a
|
Prevent empty typeof types
|
2017-02-12 19:51:48 -05:00 |
|
Matthew Brown
|
4f43a7eccb
|
Fix possible nullref
|
2017-02-12 19:31:35 -05:00 |
|
Matthew Brown
|
1d09616e9d
|
Prevent template types from leaking when no generics are provided
|
2017-02-12 19:26:23 -05:00 |
|
Matthew Brown
|
a87ea78efc
|
Fix variable-scoped byref issue
|
2017-02-12 19:07:25 -05:00 |
|
Matthew Brown
|
a4323359d3
|
Fix ternary/which/for conditionals
|
2017-02-12 18:47:02 -05:00 |
|
Matthew Brown
|
81e24de76f
|
Fix invalid NullPropertyFetch warning
|
2017-02-12 18:06:18 -05:00 |
|
Matthew Brown
|
9061d36566
|
Don’t emit InvalidArrayAccess if ignoring null arrays
|
2017-02-12 17:13:03 -05:00 |
|
Matthew Brown
|
2635744f4e
|
Simplify array inferred type
|
2017-02-12 16:58:04 -05:00 |
|
Matthew Brown
|
e0e92785f8
|
Complain about unevaluated code in more concrete fashion
|
2017-02-12 16:49:32 -05:00 |
|
Matthew Brown
|
b80628b1c4
|
Convert all templated properties to most acceptable type
|
2017-02-12 14:10:34 -05:00 |
|
Matthew Brown
|
d6c25c90b3
|
Alert user if !object assertion has issues
|
2017-02-12 13:27:42 -05:00 |
|
Matthew Brown
|
d2e92131f5
|
Always set global vars, even when it might be an error
|
2017-02-12 13:27:02 -05:00 |
|
Matthew Brown
|
3f0a87f6fe
|
Add more specific __toString error issue
|
2017-02-12 13:26:24 -05:00 |
|
Matthew Brown
|
a31ef0ae5f
|
Always save property assignments for analysis
|
2017-02-12 13:25:59 -05:00 |
|
Matthew Brown
|
2ecffbdd6f
|
Always check methods with global scope
|
2017-02-12 13:16:40 -05:00 |
|
Matthew Brown
|
2f2b487236
|
Fix #96
|
2017-02-12 12:31:39 -05:00 |
|
Matthew Brown
|
59fa0977f9
|
Do not panic when encountering errant global var
|
2017-02-12 12:23:05 -05:00 |
|
Matthew Brown
|
8e7ab59e2b
|
Add return types for core vars
|
2017-02-12 12:22:39 -05:00 |
|
Matthew Brown
|
7876c7ffb9
|
Allow mixed to override null in byref assignment
|
2017-02-12 11:34:07 -05:00 |
|
Matthew Brown
|
1029e68341
|
Allow TNamedObject to be coerced to TObject
|
2017-02-12 00:50:37 -05:00 |
|
Matthew Brown
|
bb9221ba01
|
Analyze die/exit expressions
|
2017-02-11 19:42:12 -05:00 |
|
Matthew Brown
|
f32fabd798
|
Remove dead code
|
2017-02-11 19:30:06 -05:00 |
|
Matthew Brown
|
8ff6634e7b
|
Add issue for possibly unused variables in public/private methods
also changed a lot of access
|
2017-02-11 18:56:38 -05:00 |
|
Matthew Brown
|
deb11c9402
|
Change some errors from InvalidReturnType to MoreSpecificReturnType
|
2017-02-11 18:25:44 -05:00 |
|
Matthew Brown
|
35e4b380cc
|
Add collection of PossiblyNull* issues
|
2017-02-11 17:55:08 -05:00 |
|
Matthew Brown
|
dbddedb20b
|
Don’t create objectlike if we some properties are untyped
|
2017-02-10 23:35:34 -05:00 |
|
Matthew Brown
|
14c487d3e6
|
Always supply default template params as return type
|
2017-02-10 22:51:47 -05:00 |
|
Matthew Brown
|
1d6c441d16
|
Use a more fault-tolerant version of php-parser
|
2017-02-10 21:27:12 -05:00 |
|
Matthew Brown
|
9b3b536254
|
Fix issue where self::$property_name doesn’t use Context self
|
2017-02-10 20:41:18 -05:00 |
|
Matt Brown
|
32d85e20da
|
Remove unused vars
|
2017-02-10 19:10:13 -05:00 |
|
Matt Brown
|
2c1622e7de
|
Find more unreferenced variables by ignoring mass context ops
|
2017-02-10 19:08:55 -05:00 |
|
Matt Brown
|
0d2581f961
|
Fix possibility of break when getting property in quick evaluation
|
2017-02-10 18:45:11 -05:00 |
|
Matt Brown
|
c0a6fc9125
|
Fix #90 - add genericised stubs for common array functions
|
2017-02-10 18:12:59 -05:00 |
|
Matthew Brown
|
8ffd45407c
|
Add support for namespaced templates
|
2017-02-10 00:14:44 -05:00 |
|
Matthew Brown
|
4a82c0a09a
|
Add support for nested types in templates
|
2017-02-09 22:57:23 -05:00 |
|
Matthew Brown
|
04d9854ce0
|
Don’t check function return types if it has template types
|
2017-02-09 22:54:06 -05:00 |
|
Matthew Brown
|
5e8a40a5a1
|
Merge pull request #94 from vimeo/template-tags
Add support for templating
|
2017-02-09 20:51:23 -05:00 |
|
Matthew Brown
|
98b0ed280c
|
Add support for templating
|
2017-02-09 20:35:17 -05:00 |
|
Matthew Brown
|
41f7dc4a52
|
Fix #93 - fix MethodSignatureMismatch checks on builtin class methods
|
2017-02-09 17:49:13 -05:00 |
|
Matthew Brown
|
585cf91ef0
|
If using assertions for type, count as a soft type check
|
2017-02-08 22:17:16 -05:00 |
|
Matthew Brown
|
6934b8ee45
|
Do not emit signature error for constructors
|
2017-02-08 21:19:47 -05:00 |
|
Matthew Brown
|
5cbd25fccc
|
Allow generator to be used as a traversable
|
2017-02-08 20:58:50 -05:00 |
|
Matt Brown
|
8cd83a581a
|
Also unset possibly-in-scope vars
|
2017-02-08 11:27:06 -05:00 |
|
Matthew Brown
|
64cbe005f3
|
Remove more false positives
|
2017-02-08 02:23:41 -05:00 |
|
Matthew Brown
|
cedb70b0b4
|
Reduce false positives for unused variables
|
2017-02-08 01:59:49 -05:00 |
|
Matthew Brown
|
89a5f109e8
|
Fix method reference
|
2017-02-08 00:42:53 -05:00 |
|
Matthew Brown
|
cdcacc395d
|
Rename DeadCode to UnusedVariable, UnusedMethod and UnusedClass
|
2017-02-08 00:28:26 -05:00 |
|
Matthew Brown
|
65ef5ba8b7
|
Improve native understanding of docblock-less variadics
|
2017-02-07 22:02:46 -05:00 |
|
Matt Brown
|
34980fc718
|
Remove dead code and fix config.xsd
|
2017-02-07 18:27:28 -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
|
01beb97413
|
Fix #87 - array types from docblocks can be reasoned about safely
|
2017-02-03 22:07:14 -05:00 |
|
Matthew Brown
|
11859e9cc0
|
Bump PhpParser version
|
2017-02-03 20:14:48 -05:00 |
|
Matt Brown
|
ba4f47a41c
|
Config for caching file hashes during run
|
2017-02-02 12:39:39 -05:00 |
|
Matthew Brown
|
0fbf8b5619
|
Remove more dead code
|
2017-02-02 00:45:23 -05:00 |
|
Matthew Brown
|
ec65f31aaa
|
Improve dead code analysis and fix errors found
|
2017-02-02 00:20:58 -05:00 |
|
Matthew Brown
|
5ec2a9742b
|
Fix union type simplification of float|int eradicating int
|
2017-02-01 19:39:40 -05:00 |
|
Matthew Brown
|
1051ba9fc1
|
Wait to evaluate property defaults until analysis
|
2017-02-01 18:27:24 -05:00 |
|
Matthew Brown
|
76b6bc9b3d
|
Prevent Psalm from storing unnecessary checkers
|
2017-02-01 18:11:00 -05:00 |
|
Matthew Brown
|
e925e8b4db
|
Fix #86 - remove empty array from type on !empty check
|
2017-02-01 13:51:26 -05:00 |
|
Matthew Brown
|
d3abc0011d
|
Fix #80 - add dead code checks via command line
|
2017-01-31 23:24:33 -05:00 |
|
Matthew Brown
|
eeccf791ad
|
Add unused method & unused class analysis ref #80
|
2017-01-31 20:47:16 -05:00 |
|
Matt Brown
|
004fd42062
|
Fix #83 - add support for stubbing
|
2017-01-31 19:21:33 -05:00 |
|
Matthew Brown
|
ce93c4ef2d
|
Assert smart things when offset is variable
|
2017-01-31 01:35:44 -05:00 |
|
Matthew Brown
|
7f8a3d798e
|
Improve clause resolution in while loops
|
2017-01-31 01:30:11 -05:00 |
|
Matthew Brown
|
965a79251d
|
Fix #82 by updating how isset calls are handled
|
2017-01-31 00:34:06 -05:00 |
|
Matthew Brown
|
7d912fc214
|
Remove vars when they’ve been changed
|
2017-01-30 22:26:41 -05:00 |
|
Matthew Brown
|
95ebf5178a
|
Add array_slice call to methods whose return types we can infer
|
2017-01-30 22:26:31 -05:00 |
|
Matt Brown
|
8c68861cc3
|
Fix #81 - interface inheritance checks were broken
|
2017-01-30 18:38:23 -05:00 |
|
Matthew Brown
|
4114456bf4
|
Key off lowercase classname and reduce dead code false positives
|
2017-01-30 00:26:17 -05:00 |
|
Matthew Brown
|
1ece3071f9
|
Add reference counting for methods and remove dead code
|
2017-01-29 23:44:05 -05:00 |
|
Matthew Brown
|
e9ba513250
|
Add classlike reference counts
|
2017-01-29 22:30:27 -05:00 |
|
Matthew Brown
|
d978966db4
|
Fix #37 - check parent calls for staticness
|
2017-01-29 22:13:53 -05:00 |
|