Mohamad Barbar

This one saves a few precious keystrokes :) https://github.com/SVF-tools/SVF/blob/45460c79a7e8843f54bc0432e0f5bd6e5758e00e/lib/SABER/SaberSVFGBuilder.cpp#L145-L147 `->first` is the NodeID.

One concern with ninja for C++ projects is the high memory usage. For example, I have 8 GB of memory and 4 cores/8 threads on one of my machines and...

I wasn't aware controlling jobs was possible in `ninja`. I guess I never checked? Thanks haha. I like the idea of giving `build.sh` an optional `-j` argument.

Hey, apologies I couldn't get to this last night, but will tonight.

I don't think I'm familiar enough with the details of `Loc/SymTable` since I haven't explicitly used them much to have anything useful to pass on. That said, if absolute soundness...

I will add that this also has some issues with leading comments. The problem can be reproduced with two `use`s, but I think the issue becomes clearer with 3 (like...

Originally, we used LLVM's (sparse) bit-vector as a black box. Whatever APIs it provided, we used. Then we created a more general bit-vector API, basically just what we actually used...

Barring the possibility of a bug, I suspect a _terrible_ object-to-identifier mapping. This can happen by "chance" (we have no heuristic for mapping; open for research I think) or by...