1095 Commits

Author	SHA1	Message	Date
Mark Shannon	24d678b869	Python: Points-to; let values with no boolean constant value flow through pi-nodes.	2019-01-31 15:15:49 +00:00
Mark Shannon	f190f83406	Python: Give most non-self instance attributes the 'unknown' value; improves reachability analysis.	2019-01-31 15:05:13 +00:00
james	7cc1442ecb	Update link text	2019-01-30 09:44:07 +00:00
Mark Shannon	50a75d2b4f	Python: Fully module state of module using global variables and '$' pseudo-variable.	2019-01-30 09:34:17 +00:00
james	9d1a050f35	update links to locations in .qll files	2019-01-30 08:01:49 +00:00
Mark Shannon	4c0f123748	Python: switch from '*' to '$' pseudo variable to track module state.	2019-01-29 17:04:08 +00:00
Taus	1d28c63703	Merge pull request #810 from markshannon/python-hide-magic-variables ... Python hide magic variables	2019-01-28 23:21:31 +01:00
Taus	15643d1bb6	Merge pull request #814 from markshannon/python-fix-tornado-request-path ... Python: Fix tornado and twisted request attribute tracking.	2019-01-28 17:38:34 +01:00
Taus	c503ec4608	Merge pull request #806 from markshannon/python-points-to-remove-some-negation ... Python: Remove some negation from points-to, in preparation for ADT Objects.	2019-01-28 16:25:18 +01:00
Mark Shannon	39705cf733	Python: Clarify predicate a bit.	2019-01-28 14:33:39 +00:00
Mark Shannon	b841ecbb7c	Python: Fix tornado and twisted request attribute tracking; 'path' attribute can be trusted, but 'uri' and 'arguments' cannot.	2019-01-28 11:26:00 +00:00
Taus	fc00e0a64a	Merge pull request #796 from markshannon/python-import-used-in-doctest ... Python: Fix 'unused import' for doctests and typehints.	2019-01-25 16:14:08 +01:00
Taus	ffa8b12d48	Merge pull request #782 from markshannon/python-add-more-tests ... Python: Add more tests	2019-01-23 14:04:23 +01:00
Mark Shannon	0ea2d56945	Python tests: Move helper predicate into TestUtils.qll	2019-01-23 11:20:04 +00:00
Taus	d735c363e8	Merge pull request #797 from markshannon/python-hide-check-class ... Python: Hide 'CheckClass' class	2019-01-23 12:04:01 +01:00
Mark Shannon	28bea69882	Python: ESSA definitions; make '*' special variable into its own class.	2019-01-22 10:51:36 +00:00
Mark Shannon	01a2add73b	Python: Internal points-to extension enhancement. Use it handle re module constants.	2019-01-21 14:38:07 +00:00
Mark Shannon	6bbbb85a73	Python: Remove some negation from points-to, in preparation for ADT Objects.	2019-01-21 11:56:39 +00:00
Taus	bcc65dbad3	Merge pull request #554 from markshannon/python-named-module-utility ... Python: named module utility	2019-01-18 16:01:36 +01:00
Taus	92d2e18bf2	Merge pull request #712 from markshannon/python-fix-odasa-7307 ... Python: Detect a wider range of generated files.	2019-01-18 14:38:08 +01:00
Mark Shannon	ad2481f498	Python: Hide 'CheckClass' class which is old and should only be used by those queries it is specifically designed for.	2019-01-18 12:31:19 +00:00
Mark Shannon	c1a549ddff	Python. Improve grammar in qldoc comment.	2019-01-18 11:49:59 +00:00
Mark Shannon	9f93bf8d17	Python: Fix 'unused import' to no longer give alerts for imported modules used in doctests.	2019-01-18 11:08:53 +00:00
Taus Brock-Nannestad	e8c092ad72	Python: Support the dill pickling library.	2019-01-16 14:53:42 +01:00
Mark Shannon	6b5ad0d928	Python: Detect a wider range of generated files.	2018-12-27 15:01:10 +00:00
Taus	cb93017d98	Merge pull request #606 from markshannon/python-fix-regex-fp ... Python: Fix off-by-one error in regex parsing.	2018-12-06 12:59:44 +01:00
Taus	08b1431fc5	Merge pull request #600 from markshannon/python-fix-performance-refinement-edge ... Python ESSA: Fix performance of PythonSsaSourceVariable.hasRefinementEdge()	2018-12-04 18:07:21 +01:00
Taus	8493518135	Merge pull request #599 from markshannon/python-fix-essa-nonlocal ... Python ESSA: Fix definition of ESSA non-local variables.	2018-12-04 17:06:30 +01:00
Taus	3b6c7d6f2e	Merge pull request #582 from markshannon/python-faster-points-to-2 ... Python points-to: Improve performance of subclass test predicates on large DBs	2018-12-04 16:51:21 +01:00
Taus	5c3ff8aadd	Merge pull request #604 from markshannon/python-faster-essa-computation ... Python : Speed up ESSA computation	2018-12-04 16:20:49 +01:00
Mark Shannon	a5b79e92a5	Python: Fix off-by-one error in regex parsing.	2018-12-03 16:50:47 +00:00
Mark Shannon	68440f7f77	Python ESSA: Speed up ESSA computation by refactoring ADT to match class hierarchy making it more transparent to the optimizer.	2018-12-03 15:08:56 +00:00
Mark Shannon	08b99944b1	Python ESSA: Fix definition of Essa non-local variables.	2018-12-03 11:12:35 +00:00
Mark Shannon	8e6c16d59f	Python: Fix import root computation for windows and 3.7	2018-12-01 16:53:41 +00:00
Mark Shannon	f11b5ab42f	Python ESSA: Fix performance of PythonSsaSourceVariable.hasRefinementEdge()	2018-12-01 16:36:49 +00:00
Mark Shannon	931122971d	Python points-to: Improve performance by factoring out handling of tuples in class tests.	2018-11-29 16:27:50 +00:00
Mark Shannon	8414d46a87	Python: Fix accidentally introduced cartesian product.	2018-11-29 14:19:47 +00:00
Mark Shannon	435b309852	Python: Add utility predicate for finding ModuleObject by name.	2018-11-27 17:06:40 +00:00
Taus	f0fbed76e7	Merge pull request #539 from markshannon/python-path-fix-siblings ... Python: Fix parents relation for path queries.	2018-11-23 17:59:04 +01:00
Mark Shannon	3190b12544	Python: Fix parent relation for path-queries.	2018-11-23 15:04:01 +00:00
Mark Shannon	b94493aec3	Python: Add extra sinks for command-injection query.	2018-11-23 14:29:02 +00:00
Mark Shannon	61bd8682df	Python: Improve API and representation of taint tracking nodes. Update queries and tests accordingly.	2018-11-23 12:32:14 +00:00
Mark Shannon	bfb7e17ebf	Python: Move library to correct location.	2018-11-22 11:05:09 +00:00
Mark Shannon	722d89fc75	Upgrade taint-tracking security queries to path-problem queries.	2018-11-22 11:05:01 +00:00
Mark Shannon	5f58824d1b	Initial commit of Python queries and QL libraries.	2018-11-19 15:10:42 +00:00