descriptionC/C++ LLVM-based compilers that forbids OOTA behaviors
ownerPeizhao Ou
last changeTue, 17 Jul 2018 22:24:31 +0000 (15:24 -0700)
shortlog
2018-07-17 Peizhao OuTaints the non-acquire RMW's store address with the... relaxed-loads-taint-store
2018-04-04 Peizhao OuTaints upcoming store and adds bogus conditional branch...
2018-03-13 Peizhao OuAdd bogus conditional branch before stlx
2018-03-13 Peizhao OuDon't taint relaxed loads that immediately comes before...
2018-03-07 Peizhao OuAdds one fake conditional branch for a sequence of...
2018-03-07 Peizhao OuEnsures further conditional branch tainting instruction...
2018-03-07 Peizhao OuAdds cast to 64-bit integers and set fake conditional...
2018-03-07 Peizhao OuAdds bogus conditional branch after all relaxed loads
2017-12-05 Peizhao OuSets insertion point of fake cond branch to the last...
2017-12-05 Peizhao OuFixes undominating relaxed loads issue
2017-11-29 Peizhao OuFixes a bug in finding the upcoming store/conditional...
2017-11-29 Peizhao OuGenerates conditional branch instead of fake ones for...
2017-11-20 Peizhao OuReverts wrong modification to MachineBlockPlacement...
2017-11-17 Peizhao OuFixes the issue of removing manually added fake conditi...
2017-11-17 Peizhao OuAdds fake conditional branches right after relaxed...
2017-11-16 Peizhao OuFixes untainted branch that is immediately after relaxe...
...
heads
3 years ago relaxed-loads-taint-store
3 years ago relaxed-loads-to-acquire
3 years ago relaxed-loads
3 years ago relaxed-loads-optimized-dep
3 years ago relaxed-loads-taint-loadstore
3 years ago relaxed-stores-to-release
3 years ago relaxed-stores-insert-dmb
3 years ago relaxed-loads-noanalysis
3 years ago relaxed-to-acquire
5 years ago master