sallaigy
Follow
Pinned
107 contributions in the last year
Contribution activity
December 2020
Created 5 commits in 1 repository
Created a pull request in ftsrg/gazer that received 1 comment
Opened 1 other pull request in 1 repository
ftsrg/gazer
1
merged
Reviewed 1 pull request in 1 repository
ftsrg/gazer 1 pull request
Opened 8 issues in 1 repository
ftsrg/gazer
3
open
5
closed
- Test harnesses should mock unused functions
- Segmentation fault in a program with return in a nested loop
- Jumping out of a loop from two different blocks to a same exit block breaks the translation of PHI values
- Using constant zero-aggregate initializers results in a crash
- Store float values in the flat memory model
- FIsNaN is translated incorrectly
- Requesting traces with floats results in a crash
- Missing support for Rem expressions during Theta CFA generation