Programming Languages Research Group: Git - oota-llvm.git/summary

projects / oota-llvm.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	C/C++ LLVM-based compilers that forbids OOTA behaviors
owner	Brian Demsky
last change	Tue, 17 Jul 2018 22:24:31 +0000 (15:24 -0700)
URL	git://plrg.ics.uci.edu/oota-llvm.git
	ssh://plrg.ics.uci.edu/home/git/oota-llvm.git

2018-07-17	Peizhao Ou	Taints the non-acquire RMW's store address with the... relaxed-loads-taint-store	commit \| commitdiff \| tree \| snapshot
2018-04-04	Peizhao Ou	Taints upcoming store and adds bogus conditional branch...	commit \| commitdiff \| tree \| snapshot
2018-03-13	Peizhao Ou	Add bogus conditional branch before stlx	commit \| commitdiff \| tree \| snapshot
2018-03-13	Peizhao Ou	Don't taint relaxed loads that immediately comes before...	commit \| commitdiff \| tree \| snapshot
2018-03-07	Peizhao Ou	Adds one fake conditional branch for a sequence of...	commit \| commitdiff \| tree \| snapshot
2018-03-07	Peizhao Ou	Ensures further conditional branch tainting instruction...	commit \| commitdiff \| tree \| snapshot
2018-03-07	Peizhao Ou	Adds cast to 64-bit integers and set fake conditional...	commit \| commitdiff \| tree \| snapshot
2018-03-07	Peizhao Ou	Adds bogus conditional branch after all relaxed loads	commit \| commitdiff \| tree \| snapshot
2017-12-05	Peizhao Ou	Sets insertion point of fake cond branch to the last...	commit \| commitdiff \| tree \| snapshot
2017-12-05	Peizhao Ou	Fixes undominating relaxed loads issue	commit \| commitdiff \| tree \| snapshot
2017-11-29	Peizhao Ou	Fixes a bug in finding the upcoming store/conditional...	commit \| commitdiff \| tree \| snapshot
2017-11-29	Peizhao Ou	Generates conditional branch instead of fake ones for...	commit \| commitdiff \| tree \| snapshot
2017-11-20	Peizhao Ou	Reverts wrong modification to MachineBlockPlacement...	commit \| commitdiff \| tree \| snapshot
2017-11-17	Peizhao Ou	Fixes the issue of removing manually added fake conditi...	commit \| commitdiff \| tree \| snapshot
2017-11-17	Peizhao Ou	Adds fake conditional branches right after relaxed...	commit \| commitdiff \| tree \| snapshot
2017-11-16	Peizhao Ou	Fixes untainted branch that is immediately after relaxe...	commit \| commitdiff \| tree \| snapshot
...

7 years ago	relaxed-loads-taint-store	shortlog \| log \| tree
7 years ago	relaxed-loads-to-acquire	shortlog \| log \| tree
7 years ago	relaxed-loads	shortlog \| log \| tree
7 years ago	relaxed-loads-optimized-dep	shortlog \| log \| tree
7 years ago	relaxed-loads-taint-loadstore	shortlog \| log \| tree
7 years ago	relaxed-stores-to-release	shortlog \| log \| tree
7 years ago	relaxed-stores-insert-dmb	shortlog \| log \| tree
7 years ago	relaxed-loads-noanalysis	shortlog \| log \| tree
8 years ago	relaxed-to-acquire	shortlog \| log \| tree
9 years ago	master	shortlog \| log \| tree

C/C++ LLVM-based compilers that forbids OOTA behaviors