Zsófia Ádám
Zsófia Ádám
Gazer converts integer type (short, long, signed, unsigned, etc.) variables in the given C code to int in the generated CFA. Theta 1.7 handles these as large int literals, so...
Reopening seems cleaner to me in this case.
As an answer/reinforcement to the last comment: 1. I completely agree with upgrading everything to 11. About the best-effort support: I'm not sure, if that's necessary(?), in what case/on what...
This category resulted in lots of false positives. This is probably due to pointer arithmetics.
Not top priority right now, but I'll run some benchmarks for this later, as we didn't even try this category earlier.
Not top priority right now, but I'll run some benchmarks for this later, as we didn't even try this category earlier.
[This branch](https://github.com/ftsrg/gazer/tree/undef_limitation_fix) solves the issue as proposed, but aborts when handling arrays due to an early optimization, which replaces stores with extractvalue instructions. (This instruction isn't supported by Gazer.) Due...
How would you choose/sort which functions are to be blacklisted? Would it be then more or less just a "hardcoded" list of functions after that?
I took a look at it and it seems a bit more complicated than that. The test harnesses are not redefining the standard library functions, that we mostly use in...
@as3810t maybe it's time to add it? :) (I'm just cleaning up issues and found this. Also, see #328 . )