2596 Commits

Author	SHA1	Message	Date
Robert Marsh	af6a4f31e7	C++: TranslatedInstructionContainer to RootElement	2022-03-28 15:20:48 -04:00
Robert Marsh	5811d0b2ad	C++: add AliasedDefinition to IR global var inits	2022-03-28 14:53:43 -04:00
Geoffrey White	18f80eb3e3	C++: Loosen a few constraints slightly.	2022-03-28 11:16:57 +01:00
Geoffrey White	202b6d44a5	C++: Update SensitiveExprs.qll to clarify the relationship.	2022-03-28 10:54:56 +01:00
Geoffrey White	0453c0f0a1	C++: Convert to C++ and make it look more like SensitiveExprs.qll.	2022-03-28 10:54:55 +01:00
Geoffrey White	ec98269a24	C++: Copy PrivateData.qll from csharp.	2022-03-28 10:54:54 +01:00
Mathias Vorreiter Pedersen	c115c68247	Merge pull request #8542 from MathiasVP/public-iterated-dominance-frontier ... C++: Use `iterated (post)dominance frontier` algorithm in `IRBlock`	2022-03-25 11:51:15 +00:00
Jeroen Ketema	b18b86b2e2	C++: Remove check for value-less literals in constructors	2022-03-25 11:43:01 +01:00
Mathias Vorreiter Pedersen	80630972b1	Merge branch 'main' into public-iterated-dominance-frontier	2022-03-24 12:50:29 +00:00
Mathias Vorreiter Pedersen	c76a323246	C++/C#: Sync identical files.	2022-03-23 17:27:25 +00:00
Mathias Vorreiter Pedersen	1b4fb45089	C++: Use the iterated (post)dominance frontier algorithm in the public '(post)dominanceFrontier' predicate on 'IRBlocks'.	2022-03-23 17:27:16 +00:00
Mathias Vorreiter Pedersen	8b8f0ca6e5	Merge pull request #8479 from geoffw0/widecharperf ... C++: Fix expensive getWideCharType().	2022-03-23 14:22:17 +00:00
Geoffrey White	9ae1ec69dc	C++: Autoformat.	2022-03-23 13:37:39 +00:00
Mathias Vorreiter Pedersen	a81024a485	Merge pull request #8525 from MathiasVP/more-precise-is-before ... C++: Consider columns in `Location.isBefore`	2022-03-23 11:04:34 +00:00
Mathias Vorreiter Pedersen	c35b385383	C++: Fix 'implicit this' warning.	2022-03-22 13:32:46 +00:00
Mathias Vorreiter Pedersen	93346a574f	C++: Add a new 'Location.isBefore' predicate that also considers columns.	2022-03-22 12:16:53 +00:00
Mathias Vorreiter Pedersen	5cdf0b5ee2	Merge pull request #8507 from geoffw0/sde-perf ... C++: Make getUnderlyingType nomagic	2022-03-22 11:12:44 +00:00
Geoffrey White	5d5904d6c8	C++: Autoformat.	2022-03-22 10:55:04 +00:00
Robert Marsh	23e9963a19	Merge branch 'main' into rdmarsh2/ir-global-vars	2022-03-21 16:13:40 -04:00
Robert Marsh	5bb6441047	C++: Fix consistency issues with aggregate inits	2022-03-21 16:01:24 -04:00
Robert Marsh	a36c6f2dab	C++: restrict IR generation to global vars w inits	2022-03-21 14:26:29 -04:00
Robert Marsh	c27dfb5120	C++: IR translation for global variable inits	2022-03-21 13:17:05 -04:00
Geoffrey White	97fef4b3a5	C++: Switch strategy to nomagic.	2022-03-21 12:58:06 +00:00
Geoffrey White	7f825c12eb	C++: Make getUnderlyingType 'nomagic'.	2022-03-21 11:12:18 +00:00
Geoffrey White	ff3bedcab9	C++: Fix expensive getWideCharType().	2022-03-17 14:41:57 +00:00
Tom Hvitved	79ea2a3a9c	Data flow: Sync files	2022-03-17 14:03:58 +01:00
Jeroen Ketema	7a9a9d833a	Merge pull request #8435 from jketema/all-the-barriers ... Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard	2022-03-16 15:50:19 +01:00
Jeroen Ketema	1a1c34e1be	C++: Handle C11 _Noreturn in DefaultOptions	2022-03-15 23:21:14 +01:00
Erik Krogh Kristensen	b45f56ac08	Merge pull request #8431 from erik-krogh/deadCode ... Delete dead code	2022-03-15 20:09:06 +01:00
Mathias Vorreiter Pedersen	05758181bb	Merge pull request #7884 from rdmarsh2/rdmarsh2/template-implicit-copy-constructor ... C++: fix hasImplicitCopyConstructor for templates	2022-03-15 15:32:05 +00:00
Jeroen Ketema	157a36bc4f	Use node variable in all disjuncts	2022-03-15 11:55:35 +01:00
Jeroen Ketema	9a0e94f389	Add flow state versions of isBarrierIn, isBarrierOut, and isBarrierGuard	2022-03-15 11:55:34 +01:00
Erik Krogh Kristensen	c7509c4dd3	Merge branch 'main' into deadCode	2022-03-15 09:19:14 +01:00
Robert Marsh	143b79c0cc	C++/WIP: Generate IR for global variables	2022-03-14 17:12:30 -04:00
Erik Krogh Kristensen	3bf5e06d53	delete all dead code	2022-03-14 13:03:31 +01:00
Jeroen Ketema	4c2081b7fc	Merge pull request #8401 from jketema/taint-flow ... Extend taint tracking interface with flow states	2022-03-14 12:06:10 +01:00
Erik Krogh Kristensen	bbb2847ec1	Merge pull request #8323 from erik-krogh/acronyms ... Enforcing consistent casing of acronyms	2022-03-14 11:38:25 +01:00
Erik Krogh Kristensen	1e365611fc	fix all other implicit-this warnings introduced by the acronym patch	2022-03-11 13:22:07 +01:00
Jeroen Ketema	cd28f09ae0	Extend taint tracking interface with flow states	2022-03-11 11:50:35 +01:00
Jeroen Ketema	80c6253a57	C++: Remove private imports unused after deprecated cleanup	2022-03-11 11:47:44 +01:00
Erik Krogh Kristensen	69353bb014	patch upper-case acronyms to be PascalCase	2022-03-11 11:10:33 +01:00
Erik Krogh Kristensen	122ab6e6d8	C#: fix some ql/non-doc-block warnings	2022-03-11 11:02:58 +01:00
Erik Krogh Kristensen	9466043169	CPP: remove remaining ObjectiveC references	2022-03-10 19:00:49 +01:00
Erik Krogh Kristensen	53d557c037	CPP: delete file that that had been deprecated for over a year	2022-03-10 10:24:57 +01:00
Erik Krogh Kristensen	34c7bcadde	CPP: delete LocalScopeVariableReachability.qll	2022-03-09 18:28:13 +01:00
Erik Krogh Kristensen	e140548547	C++: reintroduce deprecated predicates that affect an internal test	2022-03-09 18:28:12 +01:00
Erik Krogh Kristensen	9e46239928	CPP: remove 13 month old deprecation that override an even older deprecation	2022-03-09 18:28:12 +01:00
Erik Krogh Kristensen	6dd3f7f113	CPP: remove old deprecated predicate that was recently updated by an automated patch of mine	2022-03-09 18:28:11 +01:00
Erik Krogh Kristensen	1e445856e7	CPP: remove leftover line comment	2022-03-09 18:28:11 +01:00
Erik Krogh Kristensen	a86f0afb3c	delete all deprecations that are over 14 months old	2022-03-09 18:28:07 +01:00