Vitalis Salis

Results 27 comments of Vitalis Salis

Currently, this is one of the TODOs. I will just write down some thoughts about an action plan on how this can be implemented. On the function definition, if it...

Could you provide some examples of the tests that fail due to completeness issues (category-test)? Some test cases are new and experimental (especially those related to external calls) but on...

Related to completeness and soundness, in general, completeness is related to false negatives but as far as I understand in the program analysis world it relates to false positives. I'll...

This seems to be like an issue due to an empty filename. I've pushed a quick fix for that in the `develop` branch. Can you try that out and let...

Hi @LeeSureman, does this lead to an error? Typically, PyCG tries to identify the location of an imported module to deduce whether it is an internal-package module or not, to...

PyCG should produce a complete call graph in this case. This is probably a bug with the generator, I'll investigate when I got the bandwidth and get back to you.

PyCG can only analyze the code that it has been given. It can't know what the parent class contains and therefore cannot identify that particular call.

This happens because PyCG tries to do some basic inference about what was the external function that was called based on the imports. More specifically, when PyCG sees something along...

Optimizing this part is a work in progress. It basically implements a transitive closure of the assignment graph. However, this can be implemented in a lazy manner -- i.e. whenever...