Matthew Brown
|
1abece4f7c
|
Use more accurate types
|
2020-02-23 17:03:27 -05:00 |
|
Matthew Brown
|
653353709a
|
Use MethodIdentifier object instead of string
|
2020-02-14 20:54:26 -05:00 |
|
Brown
|
f141f7c526
|
Improve --diff checks by including trait-using classes in dependents
|
2020-02-11 16:39:33 -05:00 |
|
Matthew Brown
|
8d7fb2b415
|
Add config flag to support properties without a magic getter
|
2020-02-02 14:23:38 -05:00 |
|
Matthew Brown
|
5c3ec7a531
|
Fix #2696 - make sure static property references are prevented in pure functions
|
2020-01-27 22:55:20 -05:00 |
|
Matthew Brown
|
4e85967184
|
Fix tests
|
2020-01-05 21:58:18 -05:00 |
|
Matthew Brown
|
867511d7fd
|
Use more specific error magic properties
|
2020-01-05 21:07:26 -05:00 |
|
Matthew Brown
|
2fb5a9d326
|
Few small improvements
|
2020-01-05 18:37:07 -05:00 |
|
Matthew Brown
|
d4ef5c2a4a
|
Fix read flags
|
2020-01-05 17:20:09 -05:00 |
|
Matthew Brown
|
9fa2db1b6c
|
Move Union::getTypes to Union::getAtomicTypes
|
2020-01-04 12:20:26 -05:00 |
|
Matthew Brown
|
55c2f7faa2
|
Fix #2508 - don’t replace templated types with generic ones inside own function
|
2019-12-28 18:38:02 -05:00 |
|
Matthew Brown
|
69e6624b16
|
Fix #2436 - fix templating of property types inside templated functions
|
2019-12-08 19:25:40 -05:00 |
|
Matthew Brown
|
4052e6dfac
|
Allow isset to check for property initialisation
Ref #2382
|
2019-11-28 09:12:17 -05:00 |
|
Brown
|
0bcb7863f3
|
Use better system for storing inferred types and assertions
|
2019-11-25 11:44:54 -05:00 |
|
Brown
|
06b64a4a01
|
Detect erroneous use of empty check on bools
|
2019-11-06 16:14:46 -05:00 |
|
Matthew Brown
|
5910a362ea
|
Improve report output of taint analysis
|
2019-10-19 17:59:10 -04:00 |
|
Brown
|
fef61e996e
|
Propagate possibly-null issues onto fetched properties
|
2019-08-23 13:27:38 -04:00 |
|
Matthew Brown
|
600999a3a8
|
Add better typing
|
2019-08-14 00:47:57 -04:00 |
|
Brown
|
c3949e3194
|
Improve taint protection for exec-related commands
|
2019-08-13 19:18:50 -04:00 |
|
Matthew Brown
|
d5b026839c
|
Add support for different taint types ref #1990
|
2019-08-12 23:16:05 -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 |
|
Matthew Brown
|
8f6d432dd0
|
Add support for magic property comprehension
|
2019-08-05 23:19:22 -04:00 |
|
Matthew Brown
|
b2c0993cdc
|
Add framework for taint analysis to Psalm
Ref #611
|
2019-08-04 10:37:36 -04:00 |
|
Matthew Brown
|
f5809ec24a
|
Only add node references to explicit locations
|
2019-07-01 11:12:12 -04:00 |
|
Brown
|
62c37a84f2
|
Fix tokenising bug found while analysing Phan cc @TysonAndre
|
2019-06-28 12:29:39 -04:00 |
|
LeSuisse
|
f29826b958
|
Fully qualify constants and function calls (#1849)
This should give a small performance boost.
Part of #1837.
The change is enforced via phpcs and can be autofixed
with phpcbf.
|
2019-06-26 16:52:29 -04:00 |
|
Matthew Brown
|
31c8a2e4d7
|
Add offsets to type tokenisation
Ref #1832
|
2019-06-22 23:30:40 -04:00 |
|
Brown
|
f309c755f8
|
Add ability to move classes
|
2019-06-05 08:50:24 -04:00 |
|
Matthew Brown
|
a9809ab28a
|
Add property moving & renaming
|
2019-06-04 00:32:19 -04:00 |
|
Matthew Brown
|
f5e4b9b45f
|
Fix #1713 - don’t crash when a property is unset
|
2019-05-31 19:49:24 -04:00 |
|
Matthew Brown
|
f961da53b7
|
Fix typos
|
2019-05-30 08:53:20 -04:00 |
|
Matthew Brown
|
0555bd9ff6
|
Prevent InternalMethod at implicit __get
|
2019-05-30 08:50:50 -04:00 |
|
Matthew Brown
|
5861476765
|
Don’t remove null after magic property fetch
|
2019-05-27 09:18:34 -04:00 |
|
Matthew Brown
|
790bc53bfd
|
Fix #1681 - interpret parent annotation properly
|
2019-05-25 11:51:09 -04:00 |
|
Matthew Brown
|
569d82641d
|
Ignore PossiblyNullReference on synthetic method calls
|
2019-05-24 14:09:01 -04:00 |
|
Brown
|
6ce5fefa4b
|
Fix #1664 - allow templated __get params
|
2019-05-23 12:59:09 -04:00 |
|
Brown
|
9a93525d33
|
Emit undefined docblock class error where appropriate on property fetcthes
|
2019-05-16 15:07:07 -04:00 |
|
Barney Laurance
|
6fbe2b0837
|
Extract function NamespaceAnalyzer::nameSpaceRootsMatch
|
2019-05-14 18:54:16 -04:00 |
|
Barney Laurance
|
14843ed58a
|
psalm-internal - extract function NamespaceAnalyzer::isWithin
Also adjust behaviour so things can be internal to classes, not just to
namespace, and namespace comparision is case insensitive
|
2019-05-14 18:54:16 -04:00 |
|
Barney Laurance
|
cd673538f1
|
psalm-internal - refactor - use snake_case not camelCase
|
2019-05-14 18:54:16 -04:00 |
|
Barney Laurance
|
ce5d307f83
|
psalm-internal - present fetching internal property from other namespace
|
2019-05-14 18:54:16 -04:00 |
|
Matthew Brown
|
e08944cae0
|
Allow diff mode with --find-dead-code
|
2019-04-27 17:38:24 -04:00 |
|
Matthew Brown
|
9be8013633
|
Add a way to ignore variable method & property calls
|
2019-04-20 17:49:49 -04:00 |
|
Brown
|
d6de6ca5d5
|
Prevent removing properties on classes with variable assignment
|
2019-04-18 14:47:58 -04:00 |
|
Brown
|
80e28d6a4a
|
Add support for unused method & property automated removal
|
2019-04-17 11:12:18 -04:00 |
|
Brown
|
ff14f671b1
|
Add hopefully-more-portable method for evaluating method/property usage
|
2019-04-16 16:07:48 -04:00 |
|
Brown
|
26e2de93c7
|
Prepare to enable paralellised use of --find-dead-code
References #1548
|
2019-04-12 18:28:07 -04:00 |
|
Tyson Andre
|
2e6a2f14ed
|
Fix typos in psalm with codespell's dictionary
|
2019-03-24 23:01:20 -04:00 |
|
Matthew Brown
|
ee56419fd6
|
Improve accuracy and durability of mixed counts
|
2019-03-23 09:50:47 -04:00 |
|