117 Commits

Author	SHA1	Message	Date
Brown	56cddd16bf	Rename TaintGraph to ControlFlowGraph because it’s about to do more	2020-09-20 23:59:52 -04:00
Brown	0f6a271858	Improve file-based suppression of taints	2020-09-20 19:37:25 -04:00
Brown	2968b3b065	Add to StatementsAnalyzer taint object instead of Context	2020-09-20 18:42:21 -04:00
Brown	abb9502921	Rename Taint object to TaintGraph	2020-09-20 18:27:02 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Brown	4e10a0ed6f	Fix #4036 - add immutable annotations automatically too	2020-08-24 19:29:00 -04:00
Brown	67f9adb33c	Allow adding pure annotations to functions ... Ref #4036	2020-08-23 10:28:26 -04:00
Brown	fd4ced42a7	Don’t register new assignment inside isset expr	2020-07-31 12:44:01 -04:00
Brown	57cd21346c	Fix #3914 - treat $i++ like $i = $i + 1	2020-07-31 11:26:54 -04:00
Brown	eddd7b8c11	Fix #1916 - support @var docblock annotations in more places	2020-07-26 13:23:21 -04:00
Brown	b1e583ebed	Detect concat operation on property ... Ref #3870	2020-07-24 16:01:45 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	9ca8fb80b7	Carry over taints after @var docblock type hints	2020-07-17 11:30:44 -04:00
Brown	42a3cedd31	Fix #3742 - add null to type after possibly null array access	2020-07-05 09:12:07 -04:00
Brown	67b2edc328	Allow more things to be suppressed with @psalm-suppress TaintedInput	2020-07-02 11:53:51 -04:00
Brown	ae7c5b095b	Fix #3712 - allow taints to be suppressed with @psalm-suppress	2020-07-01 23:23:45 -04:00
Brown	8f2e28c36b	Improve tainting of specializable classes	2020-06-19 01:22:51 -04:00
Brown	49f0592794	Improve tracking of array taints	2020-06-18 18:48:19 -04:00
Brown	f609a01497	Move static property fetch analyzer to own class	2020-06-18 11:53:24 -04:00
Matthew Brown	683bde9540	Fix #3573 - allow UnnecessaryVarAnnotation to be suppressed	2020-06-13 16:48:10 -04:00
Brown	a266d4748b	Fix build	2020-05-26 07:50:11 -04:00
Brown	953be61cf2	Allow limiting connected taint paths	2020-05-25 23:28:11 -04:00
Brown	a198b09eb7	Add intermediary concat op node	2020-05-23 21:38:09 -04:00
Brown	f5a0622ad2	Fix style	2020-05-23 08:06:31 -04:00
Brown	16af6a5773	Improve concat taint propagation	2020-05-23 01:11:16 -04:00
Matthew Brown	187b944680	Add faster taint analysis	2020-05-22 12:33:29 -04:00
Joe Hoyle	6f28d741bc	Display variable assignment type in LSP hovers (#3401) ... * Add node references for variable assignments * Break up line Co-authored-by: Matthew Brown <github@muglug.com>	2020-05-20 17:40:22 -04:00
Brown	ace049a068	Beautify BinaryOpAnalyzer	2020-05-18 18:57:09 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Brown	48da7a4be8	Fix issues found with Vimeo’s code	2020-05-10 21:09:48 -04:00
Brown	640ffdb324	Fix #3323 - make short object-like arrays sealed tuples	2020-05-08 14:36:06 -04:00
Brown	d99fbc0d4d	Remove blank line	2020-05-03 00:26:50 -04:00
Brown	b8a1f5d5c9	Allow destructuring on arrayaccess implementers	2020-05-03 00:08:03 -04:00
Brown	d3fba74f75	Fix false-positive	2020-05-02 21:56:28 -04:00
Brown	3e0c4cfb75	Fix #3210 - prevent possibly-null array access from destructure	2020-05-02 20:36:41 -04:00
Brown	f91e94b64e	Make sure to remember correct positions of @var references	2020-04-27 00:05:20 -04:00
Fabien Villepinte	a93bf28532	Fix #3045 - ignore mixed assignments to variables named $_ (#3211)	2020-04-21 20:18:38 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	4232bfb6e6	Fix location	2020-03-15 23:29:52 -04:00
Matthew Brown	6c3ff8f245	Remove unused variable	2020-03-15 23:21:48 -04:00
Matthew Brown	a8a1142889	Fix #2977 - make MixedAssignment message a bit more clear, hopefully	2020-03-15 23:20:12 -04:00
Matthew Brown	0aca01faea	Improve fix to #2805	2020-03-14 01:09:12 -04:00
Brown	04bcc32efb	Fix #2940 - fix array offset assignment under ??=	2020-03-09 14:09:41 -04:00