C++: Represent temporary object initialization in AST and IR#4432

Merged

igfoo merged 68 commits into

github:mainfrom

dbartol:dbartol/temporaries/work

Nov 4, 2020

Commits on Oct 5, 2020

AST and IR support for `TemporaryObjectExpr`
Dave Bartolomeo
committed

Commits on Oct 6, 2020

Fix test expectations
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed

Commits on Oct 7, 2020

Fix test expectations in `syntax-zoo`
Dave Bartolomeo
committed
Fix test expectations
Dave Bartolomeo
committed

Commits on Oct 8, 2020

C++: Fix pointer flow through temporary objects
Dave Bartolomeo
committed

Commits on Oct 13, 2020

Update taint test to propagate through string constructor
Dave Bartolomeo
committed
Clean up test formatting and accept new lines in results
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed

Commits on Oct 14, 2020

C++: Add ability to dump local dataflow info in IR dumps
Dave Bartolomeo
committed

Commits on Oct 15, 2020

Fix test code that returns reference to local
Dave Bartolomeo
committed
Fix ODR violations in test code
Dave Bartolomeo
committed

Commits on Oct 16, 2020

Remove more ODR violations from test code.
Dave Bartolomeo
committed
Dump static call target for Call instructions
Dave Bartolomeo
committed
Insert a load of the temporary object for arguments passed by value
Dave Bartolomeo
committed
C++: Improve dataflow model for copy/move constructors
Dave Bartolomeo
committed
Accept good test diffs
Dave Bartolomeo
committed
Accept test diffs from `set.cpp` (50 new good results!)
Dave Bartolomeo
committed

Commits on Oct 17, 2020

Fix subtle typing issue with `std::makr_pair`
Dave Bartolomeo
committed
Handle parameter indirections in `make_shared` and `make_unique`
Dave Bartolomeo
committed
Fix test expectations due to `pair`/`make_pair` fixes
Dave Bartolomeo
committed
Model copy-ish constructors for `std::pair`
Dave Bartolomeo
committed
Print partial flow info in `PrintIRLocalFlow.qll`
Dave Bartolomeo
committed
Accept improved test results
Dave Bartolomeo
committed
Print targets of `Load` and `Store` instructions in IR dump
Dave Bartolomeo
committed
Merge from `main`
Dave Bartolomeo
committed
Fix modeling of `std::set::emplace`
Dave Bartolomeo
committed
Update test expectations
Dave Bartolomeo
committed
Accept test output after merge
Dave Bartolomeo
committed

Commits on Oct 18, 2020

Fix formatting
Dave Bartolomeo
committed
Add upgrade script
Dave Bartolomeo
committed
Fix formatting
Dave Bartolomeo
committed
Accept C# IR diffs
Dave Bartolomeo
committed
Merge branch 'main' into dbartol/temporaries/work
Dave Bartolomeo
authored

Commits on Oct 19, 2020

Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Merge from `main`
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed

Commits on Oct 20, 2020

Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Accept test diffs after merge
Dave Bartolomeo
committed
IR consistency checks for `FieldAddress` and `this` arguments that are not actually addresses.
Dave Bartolomeo
committed
Fix IR generation for member access with a prvalue on the RHS
Dave Bartolomeo
committed
Update stats
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Add examples to QLDoc comment
Dave Bartolomeo
committed
Add tests for member accesses on temporary objects
Dave Bartolomeo
committed

Commits on Oct 21, 2020

Fix IR for member accesses on prvalues
Dave Bartolomeo
committed
Accept diff (needs further investigation, though)
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Accept more diffs
Dave Bartolomeo
committed

Commits on Oct 22, 2020

Fix regression due to primary instructions for side effects not being computed correctly in the presence of synthetic temporary objects.
Dave Bartolomeo
committed
Fix PR feedback
Dave Bartolomeo
committed

Commits on Oct 23, 2020

Handle more cases that require synthesizing temporary objects
Dave Bartolomeo
committed
Fix formatting
Dave Bartolomeo
committed
Revert bad changes to `basic_string`
Dave Bartolomeo
committed
Don't treat allocator argument as a string input
Dave Bartolomeo
committed
Avoid ODR violation in test code
Dave Bartolomeo
committed
Fix taint propagation to qualifier objects and update test expectations
Dave Bartolomeo
committed

Commits on Oct 28, 2020

Fix test expectations for new nodes and edges in path queries
Dave Bartolomeo
committed
Merge from main
Dave Bartolomeo
committed
Fixup after merge
Dave Bartolomeo
committed

Commits on Oct 30, 2020

Merge from `main`
Dave Bartolomeo
committed
Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Fixup after merge
Dave Bartolomeo
committed

Commits on Oct 31, 2020

Fix PR feedback
Dave Bartolomeo
committed

Commits on Nov 2, 2020

Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Fix annotations
Dave Bartolomeo
committed

Commits on Nov 3, 2020

Merge remote-tracking branch 'upstream/main' into work
Dave Bartolomeo
committed
Fix test expectation
Dave Bartolomeo
committed