Matthew Brown
|
40427839ea
|
Get all variables possibly assigned in conditional
|
2017-04-06 22:56:37 -04:00 |
|
Matthew Brown
|
20b0460a33
|
Fix #123 - ternary byref vars now adjusted
|
2017-04-06 21:53:29 -04:00 |
|
Matthew Brown
|
075cc5f50d
|
Add by-reference clause removal
|
2017-04-02 17:37:56 -04:00 |
|
Matt Brown
|
5b34163d8d
|
Add ability to insert suppressed issues on functions
|
2017-03-31 11:21:34 -04:00 |
|
Matthew Brown
|
066b1e011e
|
Prevent creating empty objectlike
|
2017-03-20 02:05:58 -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
|
c33e66813a
|
Move type algebra functionality to separate checker
|
2017-03-18 13:37:00 -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 |
|
Matthew Brown
|
5cd1b6735f
|
Add even more references in docblocks
|
2017-03-01 22:27:52 -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 |
|
Matthew Brown
|
fa3b292fd4
|
Fix #101 - restrict the values of pass-by-ref variables
|
2017-02-23 00:25:28 -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
|
2d58531631
|
Fix #98 - add support for logical and/or
|
2017-02-16 20:43:23 -05:00 |
|
Matthew Brown
|
500044dac1
|
Make sure $argv and $argc are not globally available
|
2017-02-12 22:12:31 -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
|
2635744f4e
|
Simplify array inferred type
|
2017-02-12 16:58:04 -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
|
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
|
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 |
|
Matt Brown
|
32d85e20da
|
Remove unused vars
|
2017-02-10 19:10:13 -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
|
0fbf8b5619
|
Remove more dead code
|
2017-02-02 00:45:23 -05:00 |
|
Matthew Brown
|
d3abc0011d
|
Fix #80 - add dead code checks via command line
|
2017-01-31 23:24:33 -05:00 |
|
Matthew Brown
|
ff46487353
|
Be more discerning about unaryminus/plus inferred type
|
2017-01-25 21:50:34 -07:00 |
|
Matthew Brown
|
c14a19370f
|
Improve UnaryPlus/Minus still more
|
2017-01-25 20:23:06 -07:00 |
|
Matthew Brown
|
f03807e7b7
|
Fix unaryplus/minus type inference
|
2017-01-25 20:02:19 -07:00 |
|
Matthew Brown
|
0da9c10d36
|
Don’t complain when adding array and object-like array
|
2017-01-23 15:40:55 -07:00 |
|
Matt Brown
|
a67800cac7
|
Ignore cloning of mixed variables
|
2017-01-19 15:00:05 -05:00 |
|
Matthew Brown
|
9220b958eb
|
Fix phpcs errors
|
2017-01-16 19:06:39 -05:00 |
|
Matthew Brown
|
b3726c9de5
|
Use getcwd() for the project’s base, not the config file parent directory
|
2017-01-16 18:33:04 -05:00 |
|
Matthew Brown
|
e3a9cb98c3
|
Add extra issue for invalid clone and fix issue reporting;
|
2017-01-16 12:59:09 -05:00 |
|
Matthew Brown
|
5315fd15ad
|
Fix namespaced functions in regular use statements
|
2017-01-16 00:49:12 -05:00 |
|
Matthew Brown
|
ce89ac4986
|
Fix #50 - asserting about docblock types no longer causes error
|
2017-01-15 17:52:01 -05:00 |
|
Matthew Brown
|
faccc73dc1
|
Fix #52 by analysing non-main parts of issets
|
2017-01-15 13:58:20 -05:00 |
|
Matthew Brown
|
03141e41c2
|
Move string-stored types into named classes
|
2017-01-15 10:22:05 -05:00 |
|
Matt Brown
|
35c06261b9
|
Fix #38 - emit issue for non-array on right too
|
2017-01-13 13:09:52 -05:00 |
|
Matthew Brown
|
5f54a9571c
|
Fix deep project checks
|
2017-01-12 01:03:48 -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 |
|