Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SONARPY-1829 tmp commit #1797

Draft
wants to merge 31 commits into
base: master
Choose a base branch
from
Draft

SONARPY-1829 tmp commit #1797

wants to merge 31 commits into from

Commits on May 1, 2024

  1. SONARPY-1797 Introduce new type inference model classes

    @maksim-grebeniuk-sonarsource @guillaume-dequenne-sonarsource
    maksim-grebeniuk-sonarsource authored and guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    c13089b View commit details
    Browse the repository at this point in the history

  2. SONARPY-1753 Introduce a new symbol model decoupled from types

    @maksim-grebeniuk-sonarsource @guillaume-dequenne-sonarsource
    maksim-grebeniuk-sonarsource authored and guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    cac6e8f View commit details
    Browse the repository at this point in the history

  3. SONARPY-1758 Create basic flow insensitive engine to populate the new… 

    … type model
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    0fee527 View commit details
    Browse the repository at this point in the history

  4. SONARPY-1764 Infer type of function declaration and function calls

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    682f547 View commit details
    Browse the repository at this point in the history

  5. SONARPY-1760 Infer types of imported serialized module (#1765)

    @maksim-grebeniuk-sonarsource @guillaume-dequenne-sonarsource
    maksim-grebeniuk-sonarsource authored and guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    e20765a View commit details
    Browse the repository at this point in the history

  6. SONARPY-1785 Run the new symbol table builder and type inference engi… 

    …ne during regular analysis
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    84ac082 View commit details
    Browse the repository at this point in the history

  7. SONARPY-1786 Add basic information to locally defined ClassType (pare… 

    …nts and metaclass)
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    dfa7c15 View commit details
    Browse the repository at this point in the history

  8. SONARPY-1782 Migrate NonCallableCalledCheck to the new type model

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    8b88fc1 View commit details
    Browse the repository at this point in the history

  9. SONARPY-1789 Resolve inherited class members (#1770)

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    79ebca8 View commit details
    Browse the repository at this point in the history

  10. SONARPY-1794 Avoid inferring types for global variables (#1771) 

    * SONARPY-1794 Avoid inferring types for global variables

* Update ruling expectations
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    968be3a View commit details
    Browse the repository at this point in the history

  11. SONARPY-1796 Infer types for set, dict and tuple literals (#1773)

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    272c70c View commit details
    Browse the repository at this point in the history

  12. SONARPY-1798 Try to resolve built-in types for names which have no sy… 

    …mbol (#1774)
    @maksim-grebeniuk-sonarsource @guillaume-dequenne-sonarsource
    maksim-grebeniuk-sonarsource authored and guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    be9ce42 View commit details
    Browse the repository at this point in the history

  13. SONARPY-1800 NonCallableCallCheck migration: Use the display name of … 

    …the new type model (#1777)
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    5ef0ca4 View commit details
    Browse the repository at this point in the history

  14. SONARPY-1803 Store type definition location in the new type model (#1780 

    )
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    d936bd4 View commit details
    Browse the repository at this point in the history

  15. SONARPY-1807 SymbolTableBuilderV2 cleanup

    @maksim-grebeniuk-sonarsource
    maksim-grebeniuk-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    f7d43fe View commit details
    Browse the repository at this point in the history

  16. SONARPY-1807 Populate the SymbolTable out of SymbolTableBuilderV2 and… 

    … make it accessible from TypeInferenceV2
    @maksim-grebeniuk-sonarsource
    maksim-grebeniuk-sonarsource committed May 1, 2024
    Configuration menu
    Copy the full SHA
    36b6bd4 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. SONARPY-1810 Track types in case of multiple assignments in module scope

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    c1b1d82 View commit details
    Browse the repository at this point in the history

  2. Refactor ParameterV2 to record

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    3bf7fcf View commit details
    Browse the repository at this point in the history

  3. SONARPY-1819 Improve testing to compare types

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    90e70d8 View commit details
    Browse the repository at this point in the history

  4. Remove redundant test

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    c35f63d View commit details
    Browse the repository at this point in the history

  5. SONARPY-1818 Enable flow-sensitive type inference within functions

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    be354d2 View commit details
    Browse the repository at this point in the history

  6. Implement PythonType#hasMember for UnionType

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    f598d80 View commit details
    Browse the repository at this point in the history

  7. Basic implementation of ClassType and FunctionType toString

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    27fde47 View commit details
    Browse the repository at this point in the history

  8. SONARPY-1815 Enable AST-based type inference for functions/module con… 

    …taining try/catch blocks
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 6, 2024
    Configuration menu
    Copy the full SHA
    7c38c22 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. SONARPY-1825 Return Python.UNKNOWN instead of ObjectType[PythonType.U… 

    …NKNOWN] for unknown call expressions
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 7, 2024
    Configuration menu
    Copy the full SHA
    b7005eb View commit details
    Browse the repository at this point in the history

  2. SONARPY-1826 tmp

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 7, 2024
    Configuration menu
    Copy the full SHA
    75910e2 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Use a single propagationByLhs instead of definitionsByLhs and assignm… 

    …entByLhs
    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 8, 2024
    Configuration menu
    Copy the full SHA
    57a4061 View commit details
    Browse the repository at this point in the history

  2. Minor changes

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 8, 2024
    Configuration menu
    Copy the full SHA
    964e13a View commit details
    Browse the repository at this point in the history

  3. Add test on recursion

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 8, 2024
    Configuration menu
    Copy the full SHA
    97d943f View commit details
    Browse the repository at this point in the history

  4. Represent ClassDef in the CFG

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 8, 2024
    Configuration menu
    Copy the full SHA
    a14f095 View commit details
    Browse the repository at this point in the history

  5. SONARPY-1829 tmp commit

    @guillaume-dequenne-sonarsource
    guillaume-dequenne-sonarsource committed May 8, 2024
    Configuration menu
    Copy the full SHA
    4a5bb73 View commit details
    Browse the repository at this point in the history