Mohamad Barbar

Trying to load [fossil.zip](https://github.com/SVF-tools/SVF/files/6315176/fossil.zip) fails with the error: ``` load module: /home/mbarbar/bitcode/fossil.bcfailed!! SVFModuleLoader: /home/mbarbar/bitcode/fossil.bc: error: Malformed block wpa: /home/mbarbar/clone/svf-public/include/SVF-FE/LLVMModule.h:198: SVF::LLVMContext &SVF::LLVMModuleSet::getContext() const: Assertion `!empty() && "empty LLVM module!!"' failed. Aborted...

Incorrect nander or ander

12

For some programs (e.g. attached [join.bc](https://github.com/SVF-tools/SVF/files/4605831/join.txt), uploaded with `.txt` extension so GitHub doesn't complain) there are points-to relations in `nander` not in `ander`. To reproduce: ``` $ ./bin/wpa -nander -print-pts...

Had once forgotten to add the second type parameter but I was met with a stack overflow: ``` julia> FixedDecimal{Int8}(5) ERROR: StackOverflowError: Stacktrace: [1] convert(#unused#::Type{FixedDecimal{Int8}}, x::Int64) @ Base ./number.jl:7 [2]...

Regions can escape through spawn

1

It appears to be possible for something tied to a region to be used outside that region through `spawn`. ``` def slowPrint(delay: Int32, message: String, abc: Ref[String, r]): Unit \...

typemin and typemax are not defined for some integer types though we use them quite often. This offers replacements and guards.

``` julia> typemin(FixedDecimal{Int32,4}) / -1 ERROR: OverflowError: -214748.3648 / -1 overflowed for type FixedDecimal{Int32, 4} Stacktrace: [1] throw_overflowerr_binaryop(op::Symbol, x::FixedDecimal{Int32, 4}, y::Int64) @ Base.Checked ./checked.jl:163 [2] checked_rdiv(x::FixedDecimal{Int32, 4}, y::Int64) @ FixedPointDecimals...