Jorge Navas comments

Results 38 comments of


                                            Jorge Navas

How can I get the data (content) from a section?

The class `ElfParser` is private so my approach is not viable

Improve precision and performance of backward operations

Only apron and elina domains are reasonably precise. For our own domains, we need to implement at least the case `x := e` where `x` appears in `e`.

Improve precision and performance of backward operations

In commit 1fe7b1be796318da0f93b7016673c8a049ea01f4, the precision of invertible assignments is improved (all crab domains benefit from this). In commit 4f29bae4bdfe60e1686a0049de56a9569f4409bf, backward array transfer functions are implemented for `array_expansion` domain.

Adapt numerical domains for supporting reals

**Apron and Elina domains should work correctly using reals**

Updated sea-dsa to LLVM 14

@shaobo-he : Should I try to merge this PR?

Updated sea-dsa to LLVM 14

Thanks @shaobo-he !

Wrong handling of global pointers in constant structs

The points-to graph that you attach is the one i would expect. Why do you think that `g.ptr` and `v2.p` should alias?

Wrong handling of global pointers in constant structs

OK, I see it now.

Question about inconsistency before/after LLVM's mem2reg optimization

The problem is that ``` %2 = getelementptr inbounds %struct.f, %struct.f* undef, i32 0, i32 0 ``` expects a cell already for the pointer operand but there is none. Typically,...

Question about "function never returning"

@adrianherrera : thanks for the test. I'll look at it. By non-terminating paths, @arie meant that the execution path does not return. You are probably thinking about non-terminating loops. For...