search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
938 stars 142 forks source link

Distributed Work-list Algorithm #76

Closed pdschubert closed 1 year ago

pdschubert commented 4 years ago

Determine if parts of the monotone framework's work-list algorithm can be parallelized to boost overall efficiency of the usually not very scalable approach.

The paper "Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis" (ESEC/FSE'17) might be a good starting point.

ivan23kor commented 4 years ago

Hi! What is the progress on the issue? Did I get it right that the issue is parallelizing the functions solve in the two files here?