Simmo Saan
Simmo Saan
That's a good point, but it's too late to do anything about it for this year. We don't have legitimate witness validation support ready (and nor are YAML witnesses as...
> We checked in `cabs2cil` that also only at most one declaration is created for a global, even though the cil documentation does not state this clearly. Therefore, when grouping...
From what I recall, duplicate inline functions, which are not merged, just get renamed with suffixes. At least I remember seeing large numbers of copies of inline functions in the...
### ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1201.ko-entry_point.cil.out.i All but the last two contain an identical `set_impl` thing which is the common problem. After a whole day of investigation I can say this: 1. Region offsets...
The one subtle thing it achieves is supporting "side effects" during global initializers (which currently just fail) by actually `sync`-ing them on `main` entry inside the analysis where global domain...
> The minimizer arrived at the following example program that triggers the bug, though it does not appear helpful here, especially as it does not compile. Additionally conditioning a creduce...
I guess this line https://github.com/goblint/analyzer/blob/b4c0057e1d82d9649b627af96f5237b2e4a8e1e0/src/framework/control.ml#L582 might require a fallback to bot. At least YAML witnesses have this for unknown reason: https://github.com/goblint/analyzer/blob/b4c0057e1d82d9649b627af96f5237b2e4a8e1e0/src/witness/yamlWitness.ml#L140
That's a valid concern which is related to a GobCon topic from a year ago: > Join over all contexts/paths during postprocessing is unsound! > * For example, joining a...
I also looked at the variables with require a bottom default in `YamlWitness` and there the first ones are just the result of #819. Performing a `MayAccessed` query on a...
> How many cores does your machine have, how many cores do you allow to use per task, and are there other processes running at the same time that use...