Alexandr Zolotukhin
097e88a7cb
Improved in_array assertion extraction
...
Extract non-literal type assertion from in_array
Extract false, true and null assertion
Fix assertion against arrays with union-typed values
Fix assertion against non-sealed arrays
2021-08-03 17:29:32 +03:00
Alexandr Zolotukhin
e278b4fd93
Add failing test cases
2021-08-03 17:29:28 +03:00
Bruce Weirdan
9d68e2e39c
Merge pull request #6231 from tm1000/patch-get-position-from-offset-error-php80
2021-08-03 04:06:02 +03:00
Your Name
9f3f366cf3
Fixes: PHP 8.0: Argument #3 ($offset) must be contained in argument #1 ($haystack)
2021-08-02 16:49:09 -07:00
Guillaume Messier
c6b44d686e
Add xml.xsd file to PHAR part2
2021-08-02 20:26:48 +00:00
Guillaume Messier
d4daec50f4
Add xml.xsd file to PHAR
2021-08-02 20:22:59 +00:00
Guillaume Messier
b814802426
Merge branch 'master' of https://github.com/gmessier/psalm
2021-08-02 18:54:15 +00:00
Guillaume Messier
610f500210
Add xml.xsd locally to prevent network issues
2021-08-02 18:53:17 +00:00
Bruce Weirdan
82b35643da
Merge pull request #6219 from bitwise-operators/fix-6217
2021-08-01 18:11:37 +03:00
Bruce Weirdan
caaff6e3b4
Merge pull request #6210 from orklah/int-range3
2021-08-01 16:37:15 +03:00
Bruce Weirdan
3a1714e732
Merge pull request #6215 from weirdan/fix-6211
...
Use fully-qualified name for virtual class strings
2021-08-01 16:36:25 +03:00
Bruce Weirdan
e34a0e39d6
s/limit/length/
2021-08-01 16:35:09 +03:00
bjscharp
e779387b9a
Added missing mb_str_split function from 7.4
2021-08-01 15:12:07 +02:00
Matthew Brown
00c062267d
Fix space
2021-07-31 21:15:26 -04:00
Matthew Brown
a205a23ccb
Fix #6212 - remove untested code, add test for reasonable behaviour
2021-07-31 19:50:56 -04:00
Bruce Weirdan
e4ead74879
Use fully-qualified name for virtual class strings
...
Fixes vimeo/psalm#6211
2021-08-01 02:22:16 +03:00
Bruce Weirdan
edffb1a02c
Merge pull request #6213 from weirdan/scan-preloaded-stubs-earlier
...
Scan preloaded stubs earlier
2021-08-01 01:52:04 +03:00
Bruce Weirdan
2562e37e60
Scan preloaded stubs earlier
...
This should prevent Psalm from sometimes marking user-defined classes as
built-in.
Fixes vimeo/psalm#5126
Fixes vimeo/psalm#5626
2021-08-01 01:36:37 +03:00
orklah
d22b4b3c23
forgot an occurence of >
2021-07-31 22:24:07 +02:00
orklah
2a9ddab738
replace +/- by >/<
2021-07-31 22:06:36 +02:00
orklah
5f764b9d8f
replace > by @
2021-07-31 21:59:35 +02:00
orklah
059eb5e29d
break the > assertion thing to see what start to fall apart
2021-07-31 21:54:15 +02:00
orklah
565336febd
fix mistake
2021-07-31 18:52:28 +02:00
orklah
a6431c4055
fix comment
2021-07-31 18:47:17 +02:00
orklah
3230ee8bcb
fix mistakes
2021-07-31 17:57:07 +02:00
orklah
f3fb20efc5
threshold for too heavy conditions
2021-07-31 16:54:27 +02:00
orklah
67318b33f7
fix reconciliation when a bound is null
2021-07-31 16:02:58 +02:00
orklah
d4bf17f323
fix test
2021-07-31 15:47:12 +02:00
orklah
a8efe58784
fix isset assertion
2021-07-31 15:47:12 +02:00
orklah
7604bf12c2
ignore deprecation notices
2021-07-31 15:47:12 +02:00
orklah
c5165710d3
fix comparison
2021-07-31 15:47:12 +02:00
orklah
a6fa63a0cf
allow checking if an int is contained inside a range
2021-07-31 15:47:12 +02:00
orklah
128a811174
add internal assertions for superior and inferior
2021-07-31 15:47:12 +02:00
orklah
7e137f5b95
Improve internals of TIntRange ( #6208 )
...
* Improve internals of TIntRange
* fix PositiveInt aliasing
2021-07-31 09:19:20 -04:00
Bruce Weirdan
c62adf9652
Merge pull request #6198 from mmcev106/master
2021-07-31 00:23:45 +03:00
Bruce Weirdan
3a049df275
Merge pull request #6207 from orklah/int-range
2021-07-31 00:22:33 +03:00
orklah
ba9f7d09ac
fix CS
2021-07-30 22:22:38 +02:00
orklah
0252a65e0d
fix syntax
2021-07-30 21:46:11 +02:00
orklah
1e3e6a85e4
introduce basic integer range
2021-07-30 21:44:51 +02:00
Mark McEver
92f6639e68
Minor wording change in taint analysis docs
2021-07-30 13:11:22 -05:00
Bruce Weirdan
6c475e0be5
Merge pull request #6206 from Jack97/update-return-types
...
Update return types for get_headers and get_meta_tags
2021-07-29 22:38:06 +03:00
Bruce Weirdan
9414b11c2f
Merge pull request #6204 from orklah/class-string-attributes
2021-07-29 22:35:42 +03:00
Bruce Weirdan
4cb9d8ceec
Merge pull request #6205 from orklah/typos
...
fix typos
2021-07-29 22:31:03 +03:00
Jack Robertson
6ed8a4d292
Update return types for get_headers and get_meta_tags
2021-07-29 20:05:06 +01:00
orklah
d0fe1528b6
fix typos
2021-07-29 20:59:52 +02:00
orklah
6fc55d7bff
add test
2021-07-29 20:41:08 +02:00
orklah
a1c4ece7bd
Create a virtual ClassConstFetch when encountering a TLiteralClassString
2021-07-29 20:23:53 +02:00
Mark McEver
b574878f19
Clarified when it is safe to run taint analysis
2021-07-28 08:56:52 -05:00
Bruce Weirdan
89ee1f15c3
Merge pull request #6196 from weirdan/fix-6195
...
`exec()` may fail
2021-07-28 13:59:22 +03:00
Bruce Weirdan
f952f1b616
exec()
may fail
...
Fixes vimeo/psalm#6195
2021-07-28 13:38:49 +03:00