Release notes - SonarPython - 4.19

SONARPY-1846 Fix analysis warnings not being concatenated correctly with newline delimiters

SONARPY-1518 Avoid relying on stubs from a library if it is the project under analysis

SONARPY-1758 Create basic flow insensitive type inference engine v2

SONARPY-1765 Infer type of qualified expressions

SONARPY-1796 Infer types for set, dict and tuple literals

SONARPY-1797 Introduce new type inference model classes

SONARPY-1798 Try to resolve built-in types for names which have no symbol

SONARPY-1800 NonCallableCallCheck migration: Use the display name of the new type model

SONARPY-1803 Store type definition location in the new type model

SONARPY-1807 Populate symbol table out of SymbolTableBuilder and make it accessible from TypeInferenceV2

SONARPY-1808 Implement API to get symbols of global vars of the module

SONARPY-1809 Implement API to get symbols of local vars of the given function definition

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

SONARPY-1815 Enable AST-based type inference for functions/module containing try/catch blocks

SONARPY-1816 Ensure type inference doesn't lead to FPs in presence of isinstance checks for runtime types

SONARPY-1817 Ensure member access types are resolved correctly

SONARPY-1818 Enable flow sensitive type inference within functions

SONARPY-1819 Improve testing to compare types

SONARPY-1824 Fix incorrect inference for global variables assigned within functions

SONARPY-1825 Return Python.UNKNOWN instead of ObjectType[PythonType.UNKNOWN] for unknown call expressions

SONARPY-1826 Enable flow sensitive type inference for function types

SONARPY-1830 Prevent single-assigned module scope types from being propagated to nested functions

SONARPY-1836 Infer item type for basic loop over list iteration

SONARPY-1866 Infer types of reassigned parameters even when they don't have type annotations

SONARPY-1782 Migrate S5756 NonCallableCalledCheck to the new type model

Provide feedback