7084 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	cd574e8569	Merge pull request #3589 from rdmarsh2/ir-placement-new-consistency ... C++: fix IR control flow for cast in placement new	2020-05-30 13:27:34 +02:00
Robert Marsh	e17adf14dc	C++: autoformat	2020-05-29 16:13:40 -07:00
Robert Marsh	f8b6e07391	C++: Added QLDoc for Element.qll-Include.qll	2020-05-29 16:09:19 -07:00
Robert Marsh	1c20714c62	C++: file QLDoc for AutogeneratedFile-Diagnostics	2020-05-29 14:58:01 -07:00
Robert Marsh	45e555cff0	C++: accept inconsistency with unreachable exit block	2020-05-29 14:43:48 -07:00
Robert Marsh	5ee37bcd5a	Merge branch 'master' into ir-this-parameter-2 ... Bring in fix for duplicate virtual variables for parameter indirections	2020-05-29 14:40:45 -07:00
Jonas Jensen	91da0d5567	Merge pull request #3592 from geoffw0/strlen ... CPP: Don't taint the return value of strlen	2020-05-29 19:23:47 +02:00
Robert Marsh	f8cfcef9c9	C++/C#: document isThisIndirection and sync files	2020-05-29 09:52:03 -07:00
Robert Marsh	6c9051ae6f	C++: accept consistency fixes	2020-05-29 09:49:28 -07:00
Mathias Vorreiter Pedersen	3adc10fdb4	C++: Accept tests	2020-05-29 15:33:55 +02:00
Geoffrey White	f534f09784	C++: Autoformat.	2020-05-29 14:05:08 +01:00
Geoffrey White	19c33ab41c	C++: Refine StrLenFunction, including removal of taint flow.	2020-05-29 14:04:27 +01:00
Geoffrey White	705529cdf7	C++: Split StrLenFunction from PureStrFunction (without changes).	2020-05-29 14:04:27 +01:00
Geoffrey White	59cb5f9b1e	C++: Remove a special case for strlen in DefaultTaintTracking.	2020-05-29 14:04:26 +01:00
Geoffrey White	408e38a4d4	C++: Clarify which taint tracking libraries should be used somewhat.	2020-05-29 14:04:26 +01:00
Geoffrey White	d77092c931	C++: Add taint tests for strlen.	2020-05-29 13:39:40 +01:00
Mathias Vorreiter Pedersen	a0603692cb	C++: Add LoadChain and StoreChain nodes to handle reverse reads in dataflow	2020-05-29 13:53:53 +02:00
Jonas Jensen	453de6bf4e	Merge pull request #3583 from MathiasVP/qldoc-for-unix-constants ... C++: QLDoc for Constants	2020-05-29 12:27:59 +02:00
Mathias Vorreiter Pedersen	335baaef73	C++: Add testcases for partial definitions with long access paths	2020-05-29 12:15:39 +02:00
Jonas Jensen	7d4d435f25	Merge remote-tracking branch 'upstream/master' into Expr-location-workaround ... Conflicts: cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected	2020-05-29 10:04:12 +02:00
Mathias Vorreiter Pedersen	a305d39111	Merge pull request #3577 from dbartol/github/codeql-c-analysis-team/69 ... C++: Fix `MemoryLocation` with multiple `VirtualVariables`	2020-05-29 09:40:58 +02:00
Mathias Vorreiter Pedersen	0467995f4f	C++: Make explicit that O_CREAT and O_EXCL are Linux-specific	2020-05-29 09:36:08 +02:00
Jonas Jensen	9813258a3e	Merge remote-tracking branch 'upstream/master' into Expr-location-workaround ... Conflicts and semantic conflicts in `library-tests/dataflow/fields` and `library-tests/ir/ir`.	2020-05-29 08:44:37 +02:00
Jonas Jensen	87ad519541	Merge pull request #3569 from geoffw0/strftime ... C++: Taint flow consistency change for strftime	2020-05-29 08:05:25 +02:00
Robert Marsh	a638a08bc5	C++: autoformat	2020-05-28 17:06:14 -07:00
Robert Marsh	f82c97b84a	C++: fix IR control flow for cast in placement new	2020-05-28 16:53:21 -07:00
Robert Marsh	56d0762380	C++: add test for placement new with cast	2020-05-28 16:36:26 -07:00
Robert Marsh	732da9cc4c	Merge pull request #3586 from MathiasVP/qldoc-for-remaining-controlflow ... C++: QLDoc for the remaining elements in the controlflow directory	2020-05-28 15:59:19 -07:00
Robert Marsh	a897caec76	C++: outbound dataflow via this indirections	2020-05-28 15:30:41 -07:00
Robert Marsh	7dc30e3fdc	C++: add output indirections for this	2020-05-28 15:30:41 -07:00
Dave Bartolomeo	476f27e427	Merge from master	2020-05-28 17:27:08 -04:00
Dave Bartolomeo	01ef8795bf	C++: Updated fixed test expectation	2020-05-28 17:24:38 -04:00
Robert Marsh	d8b5d3bce8	C++: accept test fixes	2020-05-28 08:45:01 -07:00
Robert Marsh	693789c2cc	Merge branch 'master' into ir-this-parameter ... Bring in new tests so their output can be fixed	2020-05-28 08:32:10 -07:00
Mathias Vorreiter Pedersen	7b2c9c5aed	C++: Add quotes to improve readability.	2020-05-28 16:48:48 +02:00
Mathias Vorreiter Pedersen	5fb79cde9a	C++: Sync identical files	2020-05-28 16:45:52 +02:00
Mathias Vorreiter Pedersen	0671586aac	C++: QLDoc for the remaining elements in the controlflow directory	2020-05-28 16:35:46 +02:00
Geoffrey White	6fcfd0310f	C++: Autoformat.	2020-05-28 15:23:48 +01:00
Geoffrey White	c9e1ccf320	Merge branch 'master' into strftime	2020-05-28 15:22:16 +01:00
Jonas Jensen	688f540843	Merge pull request #3582 from MathiasVP/qldoc-for-controlflow ... C++: QLDoc for BasicBlock, ControlFlowGraph and Dataflow	2020-05-28 13:52:43 +02:00
Mathias Vorreiter Pedersen	1ef0643b60	C++: QLDoc for Constants	2020-05-28 12:24:23 +02:00
Mathias Vorreiter Pedersen	52da5755b3	C++: Respond to review comments.	2020-05-28 11:20:13 +02:00
Jonas Jensen	1b23f3ec90	C++: Accept two more changed tests	2020-05-28 11:18:14 +02:00
Mathias Vorreiter Pedersen	3d27b6bbde	C++: QLDoc for BasicBlock, ControlFlowGraph and Dataflow	2020-05-28 10:10:26 +02:00
Jonas Jensen	9153f568be	C++: Accept test results with location fixes	2020-05-28 09:42:49 +02:00
Jonas Jensen	6eaf64c896	Merge remote-tracking branch 'upstream/master' into Expr-location-workaround	2020-05-28 09:37:15 +02:00
Robert Marsh	54ed5d647a	C++:autoformat	2020-05-27 19:30:02 -07:00
Robert Marsh	58673c449a	C++: switch to TranslatedThisParameter	2020-05-27 19:29:29 -07:00
Robert Marsh	593d4c0f32	Merge pull request #3567 from MathiasVP/ir-partial-definition ... Implement `asPartialDefinition` for IR dataflow nodes	2020-05-27 13:51:41 -07:00
Robert Marsh	be74616b2b	C++: accept consistency test fixes	2020-05-27 12:39:54 -07:00