alive2

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 4 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 09, 2025 — Jan 09, 2026 Showing page 9 of 87 Search / Filter on:
Improve BasicBlock API (#1078)	can-leh-emmtrix	More...				over 1 year ago
Add State::getPath (#1079)	can-leh-emmtrix	More...				over 1 year ago
llvm2alive: handle fnattr for all arithmetic intrinsics (#1081)	Yingwei Zheng	More...				over 1 year ago
initialize current_bb properly (test case) (#1082)	Yingwei Zheng	More...				over 1 year ago
init #init BB properly during sym execution	Nuno Lopes	More...				over 1 year ago
Add Instr::isTerminator (#1077)	can-leh-emmtrix	More...				over 1 year ago
Add missing getters (#1076)	can-leh-emmtrix	More...				over 1 year ago
prevent infinite recursion in bounded approximator	Nuno Lopes	More...				over 1 year ago
limit local blks in alias analysis	Nuno Lopes	More...				over 1 year ago
disable some alias rules that never hit in practice after some profiling	Nuno Lopes	More...				over 1 year ago
implement tracking of ptr escaping in fn calls (in preparation for next commit)	Nuno Lopes	More...				over 1 year ago
another small tweak to alias analysis taking advantage of alignment	Nuno Lopes	More...				over 1 year ago
fix unit tests	Nuno Lopes	More...				over 1 year ago
fix unit test	Nuno Lopes	More...				over 1 year ago
asm mode: improve memory access() computed offset for singletions	Nuno Lopes	More...				over 1 year ago
improve alias analysis and escaped ptr analysis reduces number of aliases and thus vcgen time	Nuno Lopes	More...				over 1 year ago
Name SMT queries & file dumps (#1073)	can-leh-emmtrix	More...				over 1 year ago
llvm2alive: mark intrinsic calls as approximated when reading in clang.arc.attachedcall	Nuno Lopes	More...				over 1 year ago
if a call only has the allocsize attribute consider that it allocates	Nuno Lopes	More...				over 1 year ago
allow introduction of dereferenceable param attrs This is done by LLVM's assume simplifier	Nuno Lopes	More...				over 1 year ago
fix access to uninit var	Nuno Lopes	More...				over 1 year ago
llvm2alive: add support for assume dereferenceable & ignore cold as well	Nuno Lopes	More...				over 1 year ago
fix #1070: broken counterexample printing when nondet vars have preconditions	Nuno Lopes	More...				over 1 year ago
minor code simplification	Nuno Lopes	More...				over 1 year ago
asm mode: implement full provenance in pointers	Nuno Lopes	More...				over 1 year ago
fix crash with fn calls interleaved with full store	Nuno Lopes	More...				over 1 year ago
llvm2alive: fix missing fn decls for addr taken functions	Nuno Lopes	More...				over 1 year ago
llvm2alive: add support for clang.arc.attachedcall call bundle	Nuno Lopes	More...				over 1 year ago
make input ptr args with align keyword dereferenceable for the size up to align if needed	Nuno Lopes	More...				over 1 year ago
zero out aligned offset bits of input ptr arguments	Nuno Lopes	More...				over 1 year ago

←
1
2
…
5
6
7
8
9
10
11
12
13
…
86
87
→