Scalpel

Scalpel copied to clipboard

Write uniform tests

1

I looked into different test files and found different ways how tests were written. For example, some tests rely on pytest and other not. In my opinion, this is not...

simisimon

type inference using type conversion

1

Using type conversion operators such as int() or str() is not taken into account when assigning type information to variables. For eg ``` import math def main(): a = int(input())...

shashank-g12

Fix the doc build

1

Here is the error: Problem in your project's configuration. Invalid configuration option "python.system_packages". This configuration key has been deprecated and removed. Refer to https://blog.readthedocs.com/use-system-packages-deprecated/ to read more about this change...

tristanlatr

Inquiry about the plan to release DefUseChain module

8

Hi~ First of all, thank you for sharing such an awesome static analysis tool like Scalpel. It has been incredibly useful in my work. I notice that there is a...

Jacob-yen

networkx==3.0 typeshed-client==2.2.0 regex==2023.3.23 pycg==0.0.6 ruff==0.0.260 black==23.3.0 isort==5.12.0 pre-commit==3.21 pytest==7.2.2

Craze-H

Relationship between CFG and call graph

3

Hello, First I want to thank you so much for your hard and amazing work in this project! As I'm new to static analysis and a beginner in using this...

ShayYaari

Framework for organizing passes

4

Hello static analysis enthousiastes, I believe this proposal could be interesting for the work you’re doing in this repository. https://github.com/twisted/twisted/issues/12176 Basically I’m trying to describe an infrastructure that would allow...

tristanlatr