Matthew Brown
|
62451762fa
|
Preserve type params when negating array on iterable type
Fixes #2005
|
2019-08-12 00:44:26 -04:00 |
|
Matthew Brown
|
2ed28764d6
|
Break apart negated assertion reconciler to be more manageable
|
2019-08-12 00:37:55 -04:00 |
|
Matthew Brown
|
d3f924a49e
|
Fix #2004 - remove useless unset
|
2019-08-11 17:17:03 -04:00 |
|
Tyson Andre
|
f1de94967b
|
Allow class constant names to begin with lower-case (#2002)
Followup to e58ade5803
|
2019-08-11 17:13:56 -04:00 |
|
Tyson Andre
|
b88fe2cfe0
|
Fix typos (#2003)
|
2019-08-11 17:13:43 -04:00 |
|
Matthew Brown
|
7ed30cd5b0
|
Add support for @readonly annotation
|
2019-08-11 16:01:37 -04:00 |
|
Michael Telgmann
|
5722512180
|
Fix setting of current_dir with 'root' command parameter (#2001)
|
2019-08-11 15:12:18 -04:00 |
|
Matthew Brown
|
6397421215
|
Return mixed in special case
|
2019-08-11 08:27:56 -04:00 |
|
Matthew Brown
|
fac7df2ee0
|
Explicitly mixed properties need not be initialised
|
2019-08-11 00:25:30 -04:00 |
|
Matthew Brown
|
7c6b1581d3
|
Add warnings about uninitialised properties to mixed as well
|
2019-08-11 00:22:28 -04:00 |
|
Matthew Brown
|
e32b92be6b
|
Fix #1986 - do better inference after isset on array offsets
|
2019-08-10 23:22:48 -04:00 |
|
Matthew Brown
|
585fffaa1f
|
Refine previous fix
|
2019-08-10 17:25:07 -04:00 |
|
Matthew Brown
|
1586cb249d
|
Add protection for leaky assertions
|
2019-08-10 16:58:57 -04:00 |
|
Matthew Brown
|
034799773d
|
Remove unused var
|
2019-08-10 14:45:43 -04:00 |
|
Matthew Brown
|
af0331c251
|
Fix #1997 - fix reconciliation of arrays and traversables
|
2019-08-10 14:39:14 -04:00 |
|
Matthew Brown
|
60c0133fff
|
Break apart reconciler
|
2019-08-10 13:22:21 -04:00 |
|
Matthew Brown
|
3cf160cbe9
|
Separate out assertion negation reconciliation
|
2019-08-10 12:04:16 -04:00 |
|
Matthew Brown
|
3f78082720
|
Fix is_string call
|
2019-08-10 09:16:32 -04:00 |
|
Matthew Brown
|
460120ec45
|
Fix #1994 - make assert-if-true work for $this properties
|
2019-08-10 09:12:02 -04:00 |
|
Brown
|
5254b7501e
|
Fix #1996 - detect unused variable in static property name
|
2019-08-09 12:55:47 -04:00 |
|
Matthew Brown
|
85c9b6bb44
|
Add documentation for automatically removing UnusedVariable
|
2019-08-09 11:40:46 -04:00 |
|
Gert de Pagter
|
5b2f54bbcb
|
Allow setLocale to have 0 or null as parameters (#1993)
|
2019-08-09 08:41:28 -04:00 |
|
Matthew Brown
|
dec612a47e
|
Remove blank line
|
2019-08-08 23:06:52 -04:00 |
|
Matthew Brown
|
c77bcd1388
|
Remove extraneous line
|
2019-08-08 23:01:06 -04:00 |
|
Matthew Brown
|
53817ed40b
|
Fix #1991 - allow overlapping code to subsume manipulations inside
|
2019-08-08 22:58:54 -04:00 |
|
Brown
|
cf53f5d825
|
Ignore spaces when array keys have $ at start
|
2019-08-08 18:01:08 -04:00 |
|
Brown
|
bdac01582d
|
Fix #1989 - support fully-qualified params in @method annotations
|
2019-08-08 17:25:56 -04:00 |
|
Brown
|
d5e2c323d3
|
Add support for pure-ish instance methods
|
2019-08-08 14:17:34 -04:00 |
|
Matthew Brown
|
747782d258
|
Fix #1987 - avoid inferredType not being null
|
2019-08-07 22:41:26 -04:00 |
|
Brown
|
04c12a36fe
|
Fix docs example for impurity
|
2019-08-07 15:39:51 -04:00 |
|
Brown
|
955899ade0
|
Builtin functions are assumed to be pure
|
2019-08-07 15:21:15 -04:00 |
|
Matthew Brown
|
b5eb63bb2d
|
Revert "Coerce value with array-offset to array|ArrayAccess"
This reverts commit a8a67bc7e7 .
|
2019-08-07 00:36:45 -04:00 |
|
Matthew Brown
|
a8a67bc7e7
|
Coerce value with array-offset to array|ArrayAccess
Fixes #1986
|
2019-08-07 00:31:53 -04:00 |
|
Matthew Brown
|
50bd18c404
|
Fix #1985 - prevent complicatedExpressionException from breaking analysis
|
2019-08-06 22:58:53 -04:00 |
|
Brown
|
16a1dc8538
|
Fix errors
|
2019-08-06 18:56:36 -04:00 |
|
Brown
|
14b37b95af
|
Fix potential recursion
|
2019-08-06 17:29:44 -04:00 |
|
Brown
|
0051636a99
|
Expose code location raw line number
|
2019-08-06 17:11:25 -04:00 |
|
Brown
|
fc8d2bd563
|
Do more taint creation for magic properties
|
2019-08-06 14:27:21 -04:00 |
|
Brown
|
37d93141c4
|
Only register taints on known magic properties
|
2019-08-06 13:05:34 -04:00 |
|
Brown
|
0dc6b74fb4
|
Add taintedness to magic property fetches
|
2019-08-06 12:54:12 -04:00 |
|
Brown
|
17753865f3
|
Add detection to mixed params
|
2019-08-06 10:33:21 -04:00 |
|
Matthew Brown
|
8f6d432dd0
|
Add support for magic property comprehension
|
2019-08-05 23:19:22 -04:00 |
|
Brown
|
6eb62591ab
|
Specialise calls when functions are pure
|
2019-08-05 18:33:33 -04:00 |
|
Brown
|
87bf907c1e
|
Fix echo checks
|
2019-08-05 10:21:23 -04:00 |
|
Matthew Brown
|
b2c0993cdc
|
Add framework for taint analysis to Psalm
Ref #611
|
2019-08-04 10:37:36 -04:00 |
|
Matthew Brown
|
ea1f9874fb
|
Remove more memory leaks
|
2019-08-02 01:55:24 -04:00 |
|
Jeffrey Yoo
|
73a6fbe557
|
catch cases of invalid use of backslash (#1983)
|
2019-08-01 16:10:12 -04:00 |
|
Brown
|
6a213a60aa
|
Make test name align with tested thing
|
2019-07-31 17:42:01 -04:00 |
|
Brown
|
3a1a3ebc47
|
Fix #1980 - don’t complain about UnusedVariable after continue
|
2019-07-31 17:35:56 -04:00 |
|
Brown
|
f9d99498a6
|
Remove unused var
|
2019-07-31 17:30:31 -04:00 |
|