LLVM 4 by jcarlson23 · Pull Request #18 · SVF-tools/SVF

Commits on Mar 28, 2017

Starting to move this into 4.0; likely with some errors, but it looks like so far it's line and file information, i.e diagnostic so..
jcarlson23
committed
A few compilation fixes, the dataflow looks reasonable while the analysisUtil looks more like I might miss some diagnostic info
jcarlson23
committed

Commits on Apr 3, 2017

I think I almost have the specializations right for the PTACallgraph
jcarlson23
committed
Ok, fixed the PTACallGraph graph trait issue - at least for compilation
jcarlson23
committed

Commits on Apr 4, 2017

Commits on Apr 5, 2017

Commits on Apr 6, 2017

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

LLVM 4#18

LLVM 4#18
jcarlson23 wants to merge 17 commits intoSVF-tools:masterfrom
jcarlson23:llvm-4

Commits on Mar 28, 2017

Starting to move this into 4.0; likely with some errors, but it looks like so far it's line and file information, i.e diagnostic so..

A few compilation fixes, the dataflow looks reasonable while the analysisUtil looks more like I might miss some diagnostic info

Commits on Apr 3, 2017

I think I almost have the specializations right for the PTACallgraph

Ok, fixed the PTACallGraph graph trait issue - at least for compilation

Commits on Apr 4, 2017

Fixed the SVFG Noderef issue, but looks like I need to clear the X** vs X* in the node references, but let me take a look at this before rushing right in (I can do that this afternoon)

Had to clean up where I was, should be moving forward again, needs clarification of pointers or double pointers in WPASolver

Have an iterator conflict but if I can get past that looks like I'm making hey

Commits on Apr 5, 2017

Fixed that iterator mismatch by changing the GNODE type in WPASolver.h

Fixed const char to StringRef in the getPassName() of BreakConstantExpr

A number of small fixes, mostly replacing const char* with llvm::StringRef, inserting a few NodeRef, etc, and now compiling a fair amount of the project, but still more to go...

Commits on Apr 6, 2017

Couple trivial fixes, more StringRef and a ref to pointer

Starting to compile actual products but linkage errors likely indicate some new virtual methods in 4.0 aren't implemented...

Commits on Apr 13, 2017

1% more to go...

Commits on Apr 15, 2017

Ok, down to one little header issue and then write it up and pass it back to Yulei (with notes to help him...)

Commits on Apr 17, 2017

Fixed that header issue, looks like the next few are pretty simple

Fixed the wpa and saber tools - just needed a few args changed and using the LLVMGetGlobalContext rather than getGlobalContext

Commits on Apr 18, 2017

Ready to issue a PR, one issue for others to decide I think but the rest should be pretty much ready to go

LLVM 4#18jcarlson23 wants to merge 17 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom jcarlson23:llvm-4Copy head branch name to clipboard

Commits

Commits on Mar 28, 2017

Commits on Apr 3, 2017

Commits on Apr 4, 2017

Commits on Apr 5, 2017

Commits on Apr 6, 2017

Commits on Apr 13, 2017

Commits on Apr 15, 2017

Commits on Apr 17, 2017

Commits on Apr 18, 2017

LLVM 4#18
jcarlson23 wants to merge 17 commits intoSVF-tools:masterfrom
jcarlson23:llvm-4