Henrich Lauko

icon indicating a website link https://xlauko.github.io/

icon company Trail of Bits icon location Brno, Czech Republic

Results 72 issues of Henrich Lauko

lava: implement zero domain

lava

lamp: setup svcomp interface

lamp

ci: setup github actions

enhancement
cc

cc: implement memory aware freeze/melt

enhancement
cc

cc: setup preprocessing

- [ ] lower select instructions - [ ] lower switch instructions - [ ] lower cmp instructions - [ ] duplicate called functions

enhancement
cc

cc: setup memory cleanup

- [ ] cleanup on lifetime ends - [ ] construct/destruct lamp frames - [ ] cleanup on stores

enhancement
cc

lava: backward propagation domain adaptor

enhancement
lava

rt: setup fault handler

enhancement
runtime

rt: add interactive mode

enhancement
runtime

lamp: get rid of stubbed functions

lamp
cc