Programming Languages Research Group: Git

2015-03-17	Dmitry Vyukov	asan: optimization experiments	commit \| commitdiff \| tree
2015-03-16	Dmitry Vyukov	asan: fix overflows in isSafeAccess	commit \| commitdiff \| tree
2015-03-04	Dmitry Vyukov	asan: do not instrument direct inbounds accesses to...	commit \| commitdiff \| tree
2015-02-12	Dmitry Vyukov	tsan: do not instrument not captured values	commit \| commitdiff \| tree
2015-01-27	Dmitry Vyukov	tsan: properly instrument unaligned accesses	commit \| commitdiff \| tree
2013-10-17	Dmitry Vyukov	tsan: implement no_sanitize_thread attribute	commit \| commitdiff \| tree
2013-08-13	Dmitry Vyukov	dfsan: fix lint warnings	commit \| commitdiff \| tree
2013-03-22	Dmitry Vyukov	tsan: fix the test	commit \| commitdiff \| tree
2013-03-22	Dmitry Vyukov	tsan: handle vptr loads specially	commit \| commitdiff \| tree
2013-03-19	Dmitry Vyukov	llvm-symbolizer: flush internal caches functionality	commit \| commitdiff \| tree
2013-02-14	Dmitry Vyukov	include/llvm/Object/ELF.h: do debug checks only when...	commit \| commitdiff \| tree
2013-02-14	Dmitry Vyukov	llvm-symbolizer: speedup symbol lookup	commit \| commitdiff \| tree
2013-01-11	Dmitry Vyukov	llvm-symbolizer: add DATA command that allows to symbolize...	commit \| commitdiff \| tree
2012-11-27	Dmitry Vyukov	tsan: instrument atomic nand operation	commit \| commitdiff \| tree
2012-11-26	Dmitry Vyukov	tsan: fix lint warnings	commit \| commitdiff \| tree
2012-11-26	Dmitry Vyukov	[tsan] add fail order to compare_exchange	commit \| commitdiff \| tree
2012-11-09	Dmitry Vyukov	tsan: switch to new memory_order constants (ABI compatible)	commit \| commitdiff \| tree
2012-11-09	Dmitry Vyukov	tsan: instrument all atomics (including fetch_add,...	commit \| commitdiff \| tree
2012-10-03	Dmitry Vyukov	tsan: update the test for new atomic enums	commit \| commitdiff \| tree
2012-10-03	Dmitry Vyukov	tsan: update the test for new atomic enums	commit \| commitdiff \| tree
2012-10-03	Dmitry Vyukov	tsan: prepare for migration to new memory_order enum...	commit \| commitdiff \| tree

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

RSS Atom