14 Commits

Author	SHA1	Message	Date
Brown	8ad1c2eeb1	Use immutable data structures for clause calculations	2020-08-26 10:41:47 -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	e0f5595307	Fix #3932 - try to get assertions of negated expression if instant negation fails	2020-08-05 16:53:30 -04:00
Brown	57cd21346c	Fix #3914 - treat $i++ like $i = $i + 1	2020-07-31 11:26:54 -04:00
Brown	4a5f74c091	Add positive-int type	2020-07-26 15:51:55 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	f609a01497	Move static property fetch analyzer to own class	2020-06-18 11:53:24 -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
Brown	2ec76f01c2	Fix redundant condition	2020-05-19 20:11:25 -04:00
Brown	27cb660377	Respect possibly-undefined array keys while merging ... Fixes #3393	2020-05-19 20:10:01 -04:00
Brown	8e5b330c5a	Break apart CallAnalyzer	2020-05-18 22:57:00 -04:00
Brown	ace049a068	Beautify BinaryOpAnalyzer	2020-05-18 18:57:09 -04:00