19777 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
james	0b31ca46b1	docs: fix speaker note bug	2019-08-29 14:55:02 +01:00
Jonas Jensen	be7be1fb38	C++: Improve name/descr. of leap year queries	2019-08-29 15:53:51 +02:00
Mark Shannon	22f55d25c2	Python taint-tracking. Reorder columns in some tests for easier comprehension of expected output.	2019-08-29 14:36:10 +01:00
Mark Shannon	e51b797c03	Python taint-tracking. Add an adapter for old 'dataflow config'.	2019-08-29 14:30:09 +01:00
Mark Shannon	179f4ee88f	Python taint-tracking: Add documented example test.	2019-08-29 13:03:58 +01:00
Tom Hvitved	982f90dc2b	C#: Refactor local data flow step relations	2019-08-29 13:35:19 +02:00
james	387147ede2	docs: fix include in data flow slides	2019-08-29 11:53:19 +01:00
semmle-qlci	f980d20d6d	Merge pull request #1809 from hvitved/csharp/cfg/tests ... Approved by calumgrant	2019-08-29 11:35:21 +01:00
james	b89f0161aa	docs: make use of includes for local and global data flow slides	2019-08-29 11:03:45 +01:00
james	ec9ca6852b	docs: add template slide deck	2019-08-29 11:03:45 +01:00
Mark Shannon	10fddbc19b	Python new taint-tracking: Fix some typos and clarify documentation.	2019-08-29 11:03:35 +01:00
james	7fa7f2dd65	docs: add rst versions of java slide decks and improve a few c++ slides	2019-08-29 11:03:19 +01:00
Ian Lynagh	28832c9021	C++: Add a comment	2019-08-29 10:32:34 +01:00
Mark Shannon	5bb528d236	Python taint-tracking: Fix performance of 'flowsTo' and 'testEvaluates'.	2019-08-29 10:31:50 +01:00
Mark Shannon	3872c7a1f9	Python taint-tracking. Rework handling of sequences and dicts of taint for performance.	2019-08-29 10:31:50 +01:00
Mark Shannon	a36453b2e2	Python taint-tracking. Fix performance for a couple of predicates.	2019-08-29 10:31:50 +01:00
Mark Shannon	76c11c4575	Python: Update a test result.	2019-08-29 10:31:50 +01:00
Mark Shannon	45abe09494	Python taint-tracking: Improve layout and documentation.	2019-08-29 10:31:50 +01:00
Mark Shannon	91aefab7aa	Python: Reorganise code a bit to minimize diff for PR.	2019-08-29 10:31:50 +01:00
Mark Shannon	e5900921e7	Python taint-tracking: Remove warnings from test output.	2019-08-29 10:31:50 +01:00
Mark Shannon	691165d1c6	Python: Check-in two missing files.	2019-08-29 10:31:50 +01:00
Mark Shannon	c7ec5690a5	Python taint-tracking: make sure all features of legacy extensions are supported.	2019-08-29 10:31:50 +01:00
Mark Shannon	64c160b75c	Python taint-tracking: Fix ambiguous flow through class instantiation. Tweak the path query to ensure edge to sink is always present.	2019-08-29 10:31:50 +01:00
Mark Shannon	d31e55f88e	Python taint-tracking: Avoid ambiguous flows through calls. Fix up tests.	2019-08-29 10:31:50 +01:00
Mark Shannon	78ce19678a	Python taint-tracking: Fix up SQL injection query.	2019-08-29 10:31:50 +01:00
Mark Shannon	3f8066878a	Python taint-tracking: Fix up handling of contexts for __init__ and for context-free taints.	2019-08-29 10:31:50 +01:00
Mark Shannon	fe9c9d479d	Python taint-tracking. Fix bug in legacy API.	2019-08-29 10:31:50 +01:00
Mark Shannon	7c4a18eee3	Python taint-tracking: Fix up handling of legacy (config-less) taint-tracking	2019-08-29 10:31:50 +01:00
Mark Shannon	2d9d292ee4	Python: Fix up pi-node handling in taint-tracking.	2019-08-29 10:31:50 +01:00
Mark Shannon	955e54b360	Python: Update unitialized local to use new taint-tracking config.	2019-08-29 10:31:50 +01:00
Mark Shannon	24b4a4102c	Python taint-tracking: Further enhancements to new implementation for better debugging and backwards compatibility.	2019-08-29 10:31:50 +01:00
Mark Shannon	1addfaac1a	Python taint-tracking: update test results.	2019-08-29 10:31:50 +01:00
Mark Shannon	a7845ae0e1	Python taint-tracking: Remove old implementation.	2019-08-29 10:31:50 +01:00
Mark Shannon	133909d7fe	Python taint-tracking: Lengthen steps to better conform to old edge relation.	2019-08-29 10:31:50 +01:00
Mark Shannon	da6a66975c	Python taint-tracking. Further improvements to new taint-tracking.	2019-08-29 10:31:50 +01:00
Mark Shannon	74f1dd3ec0	Python taint-tracking. Add some tests and fix up various parts of the implementation.	2019-08-29 10:31:50 +01:00
Mark Shannon	eed2090168	Python taint-tracking. Fill in most of new configuration-base taint-tracking implementation.	2019-08-29 10:31:47 +01:00
Mark Shannon	e8bd9e7341	Python: Add new API for taint-tracking configuration. As yet, unsupported.	2019-08-29 10:27:08 +01:00
Anders Schack-Mulligen	ae98d4fd8e	Java: Change extension point to use a unit type.	2019-08-29 11:05:45 +02:00
Calum Grant	d2bee79370	Merge pull request #1600 from AndreiDiaconu1/ircsharp ... C#: Initial port of IR for C#	2019-08-29 09:26:34 +01:00
Ian Lynagh	395197432f	C++: Update stats for valuetext	2019-08-28 22:52:14 +01:00
Rebecca Valentine	36f99c19bc	Merge pull request #1840 from markshannon/python-better-hasattribute-handling ... Python: Add 'hasAttribute' predicate to ObjectInternal and Value.	2019-08-28 10:45:44 -07:00
Rebecca Valentine	cac775880f	Merge pull request #1839 from markshannon/python-rationalize-library ... Python: rationalize library a bit.	2019-08-28 10:15:36 -07:00
Rebecca Valentine	602b99e01f	Merge pull request #1834 from markshannon/python-verify-unreachable-code ... Python: Add test to verify fix.	2019-08-28 10:15:26 -07:00
Rebecca Valentine	ac78d10277	Merge pull request #1821 from markshannon/python-speedup-binary-points-to ... Python points-to: Speed up binaryPointsTo predicate.	2019-08-28 10:14:40 -07:00
Mark Shannon	5892ce2a2b	Python: Implement 'hasAttribute()' on ObjectInternal and use it to implement the same predicate on Value, ModuleObject and ClassObject.	2019-08-28 17:18:25 +01:00
Geoffrey White	2e0c1af6c4	Merge pull request #1836 from jbj/xheader-undef ... C++: Support x-macros that are #undef'ed in header	2019-08-28 17:16:50 +01:00
Ian Lynagh	cc031183bc	C++: Add an upgrade script	2019-08-28 16:06:28 +01:00
AndreiDiaconu1	deeff07322	Fixed unused predicate error	2019-08-28 15:50:39 +01:00
Mark Shannon	f64f6e6d2e	Python: Move classes for lists of AST nodes into AstExtended.qll	2019-08-28 15:43:02 +01:00