Bug Summary

File:build/../torch/csrc/MemoryFormat.cpp
Warning:line 16, column 28
PyObject ownership leak with reference count of 1

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name tensor_memoryformats.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -analyzer-output=html -analyzer-checker=python -analyzer-disable-checker=deadcode -analyzer-config prune-paths=true,suppress-c++-stdlib=true,suppress-inlined-defensive-checks=false,suppress-null-return-paths=false,crosscheck-with-z3=true,model-path=/opt/pyrefcon/lib/pyrefcon/models/models -analyzer-config experimental-enable-naive-ctu-analysis=true,ctu-dir=/tmp/pyrefcon/pytorch/csa-scan,ctu-index-name=/tmp/pyrefcon/pytorch/csa-scan/externalDefMap.txt,ctu-invocation-list=/tmp/pyrefcon/pytorch/csa-scan/invocations.yaml,display-ctu-progress=false -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -fhalf-no-semantic-interposition -mframe-pointer=none -relaxed-aliasing -fno-rounding-math -ffp-exception-behavior=ignore -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/tmp/pyrefcon/pytorch/build -resource-dir /opt/pyrefcon/lib/clang/13.0.0 -isystem third_party/gloo -isystem ../cmake/../third_party/gloo -isystem ../cmake/../third_party/googletest/googlemock/include -isystem ../cmake/../third_party/googletest/googletest/include -isystem ../third_party/protobuf/src -isystem ../third_party/gemmlowp -isystem ../third_party/neon2sse -isystem ../third_party/XNNPACK/include -isystem ../third_party -isystem ../cmake/../third_party/eigen -isystem /opt/pyrefcon/lib/pyrefcon/models/python3.8 -isystem /usr/lib/python3/dist-packages/numpy/core/include -isystem ../cmake/../third_party/pybind11/include -isystem /usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -isystem /usr/lib/x86_64-linux-gnu/openmpi/include -isystem ../third_party/ideep/mkl-dnn/include -isystem ../third_party/ideep/include -D BUILDING_TESTS -D FMT_HEADER_ONLY=1 -D HAVE_MALLOC_USABLE_SIZE=1 -D HAVE_MMAP=1 -D HAVE_SHM_OPEN=1 -D HAVE_SHM_UNLINK=1 -D MINIZ_DISABLE_ZIP_READER_CRC32_CHECKS -D ONNXIFI_ENABLE_EXT=1 -D ONNX_ML=1 -D ONNX_NAMESPACE=onnx_torch -D THP_BUILD_MAIN_LIB -D USE_C10D -D USE_C10D_GLOO -D USE_C10D_MPI -D USE_DISTRIBUTED -D USE_EXTERNAL_MZCRC -D USE_NUMPY -D USE_RPC -D USE_TENSORPIPE -D USE_VALGRIND -D _FILE_OFFSET_BITS=64 -D torch_python_EXPORTS -I aten/src -I ../aten/src -I . -I ../ -I ../cmake/../third_party/benchmark/include -I caffe2/contrib/aten -I ../third_party/onnx -I third_party/onnx -I ../third_party/foxi -I third_party/foxi -I ../torch/.. -I ../torch/../aten/src -I ../torch/../aten/src/TH -I caffe2/aten/src -I third_party -I ../torch/../third_party/valgrind-headers -I ../torch/../third_party/gloo -I ../torch/../third_party/onnx -I ../torch/csrc -I ../torch/csrc/api/include -I ../torch/lib -I ../torch/lib/libshm -I ../torch/csrc/distributed -I ../torch/csrc/api -I ../c10/.. -I third_party/ideep/mkl-dnn/include -I ../third_party/ideep/mkl-dnn/src/../include -I ../torch/lib/libshm/../../../torch/lib -I ../third_party/fmt/include -D USE_PTHREADPOOL -D NDEBUG -D USE_KINETO -D LIBKINETO_NOCUPTI -D USE_FBGEMM -D USE_QNNPACK -D USE_PYTORCH_QNNPACK -D USE_XNNPACK -D SYMBOLICATE_MOBILE_DEBUG_HANDLE -D HAVE_AVX_CPU_DEFINITION -D HAVE_AVX2_CPU_DEFINITION -D NDEBUG -D NDEBUG -D CAFFE2_USE_GLOO -D HAVE_GCC_GET_CPUID -D USE_AVX -D USE_AVX2 -D TH_HAVE_THREAD -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /opt/pyrefcon/lib/clang/13.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-narrowing -Wall -Wextra -Werror=return-type -Wno-missing-field-initializers -Wno-type-limits -Wno-array-bounds -Wno-unknown-pragmas -Wno-sign-compare -Wno-unused-parameter -Wno-unused-variable -Wno-unused-function -Wno-unused-result -Wno-unused-local-typedefs -Wno-strict-overflow -Wno-strict-aliasing -Wno-error=deprecated-declarations -Wno-stringop-overflow -Wno-psabi -Wno-error=pedantic -Wno-error=redundant-decls -Wno-error=old-style-cast -Wno-unused-but-set-variable -Wno-maybe-uninitialized -Werror=format -Werror=cast-function-type -Wno-stringop-overflow -Wno-write-strings -Wno-strict-aliasing -w -std=gnu++14 -fdeprecated-macro -fdebug-compilation-dir=/tmp/pyrefcon/pytorch/build -ferror-limit 19 -fvisibility-inlines-hidden -fopenmp -fopenmp-cuda-parallel-target-regions -pthread -fgnuc-version=4.2.1 -fcxx-exceptions -fexceptions -faligned-allocation -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/pyrefcon/pytorch/csa-scan/reports -x c++ ../torch/csrc/utils/tensor_memoryformats.cpp

../torch/csrc/utils/tensor_memoryformats.cpp

→
1#include <torch/csrc/utils/tensor_memoryformats.h>
2
3#include <torch/csrc/DynamicTypes.h>
4#include <torch/csrc/Exceptions.h>
5#include <torch/csrc/MemoryFormat.h>
6#include <c10/core/MemoryFormat.h>
7
8#include <torch/csrc/python_headers.h>
9#include <torch/csrc/utils/object_ptr.h>
10
11
12namespace torch {
13namespace utils {
14
15#define _ADD_MEMORY_FORMAT(format, name){ std::string module_name = "torch."; PyObject* memory_format
= THPMemoryFormat_New(format, module_name + name); _Py_INCREF
(((PyObject*)(memory_format))); if (PyModule_AddObject(torch_module
, name, memory_format) != 0) { throw python_error(); } } \
16 { \
17 std::string module_name = "torch."; \
18 PyObject* memory_format = THPMemoryFormat_New(format, module_name + name); \
19 Py_INCREF(memory_format)_Py_INCREF(((PyObject*)(memory_format))); \
20 if (PyModule_AddObject(torch_module, name, memory_format) != 0) { \
21 throw python_error(); \
22 } \
23 }
24
25void initializeMemoryFormats() {
26 auto torch_module = THPObjectPtr(PyImport_ImportModule("torch"));
27 if (!torch_module) {
1
Assuming the condition is false
→
2
←
Taking false branch
→
28 throw python_error();
29 }
30
31 _ADD_MEMORY_FORMAT(at::MemoryFormat::Preserve, "preserve_format"){ std::string module_name = "torch."; PyObject* memory_format
= THPMemoryFormat_New(at::MemoryFormat::Preserve, module_name
+ "preserve_format"); _Py_INCREF(((PyObject*)(memory_format)
)); if (PyModule_AddObject(torch_module, "preserve_format", memory_format
) != 0) { throw python_error(); } };
3
←
Calling '_Py_INCREF'
→
5
←
Returning from '_Py_INCREF'
→
6
←
Taking true branch
→
32 _ADD_MEMORY_FORMAT(at::MemoryFormat::Contiguous, "contiguous_format"){ std::string module_name = "torch."; PyObject* memory_format
= THPMemoryFormat_New(at::MemoryFormat::Contiguous, module_name
+ "contiguous_format"); _Py_INCREF(((PyObject*)(memory_format
))); if (PyModule_AddObject(torch_module, "contiguous_format"
, memory_format) != 0) { throw python_error(); } };
33 _ADD_MEMORY_FORMAT(at::MemoryFormat::ChannelsLast, "channels_last"){ std::string module_name = "torch."; PyObject* memory_format
= THPMemoryFormat_New(at::MemoryFormat::ChannelsLast, module_name
+ "channels_last"); _Py_INCREF(((PyObject*)(memory_format)))
; if (PyModule_AddObject(torch_module, "channels_last", memory_format
) != 0) { throw python_error(); } };
34 _ADD_MEMORY_FORMAT(at::MemoryFormat::ChannelsLast3d, "channels_last_3d"){ std::string module_name = "torch."; PyObject* memory_format
= THPMemoryFormat_New(at::MemoryFormat::ChannelsLast3d, module_name
+ "channels_last_3d"); _Py_INCREF(((PyObject*)(memory_format
))); if (PyModule_AddObject(torch_module, "channels_last_3d",
memory_format) != 0) { throw python_error(); } };
35
36}
37
38} // namespace utils
39} // namespace torch
←

/opt/pyrefcon/lib/pyrefcon/models/models/_Py_INCREF.model

→
1void _Py_INCREF(PyObject *op) { ++op->ob_refcnt; }
4
←
Setting reference count to 1
→
←

/tmp/pyrefcon/pytorch/build/../torch/csrc/MemoryFormat.cpp

1#include <torch/csrc/MemoryFormat.h>
2
3#include <torch/csrc/Exceptions.h>
4#include <torch/csrc/utils/object_ptr.h>
5#include <torch/csrc/utils/python_strings.h>
6
7#include <c10/core/MemoryFormat.h>
8
9#include <structmember.h>
10#include <cstring>
11#include <string>
12
13PyObject *THPMemoryFormat_New(at::MemoryFormat memory_format, const std::string& name)
14{
15 auto type = (PyTypeObject*)&THPMemoryFormatType;
16 auto self = THPObjectPtr{type->tp_alloc(type, 0)};
7
←
PyObject ownership leak with reference count of 1
17 if (!self) throw python_error();
18 auto self_ = reinterpret_cast<THPMemoryFormat*>(self.get());
19 self_->memory_format = memory_format;
20 std::strncpy (self_->name, name.c_str(), MEMORY_FORMAT_NAME_LEN);
21 self_->name[MEMORY_FORMAT_NAME_LEN] = '\0';
22 return self.release();
23}
24
25PyObject *THPMemoryFormat_repr(THPMemoryFormat *self)
26{
27 return THPUtils_packString(self->name);
28}
29
30// NOLINTNEXTLINE(cppcoreguidelines-avoid-non-const-global-variables)
31PyTypeObject THPMemoryFormatType = {
32 PyVarObject_HEAD_INIT(nullptr, 0){ { 1, nullptr }, 0 },
33 "torch.memory_format", /* tp_name */
34 sizeof(THPMemoryFormat), /* tp_basicsize */
35 0, /* tp_itemsize */
36 nullptr, /* tp_dealloc */
37 // NOLINTNEXTLINE(modernize-use-nullptr)
38 0, /* tp_vectorcall_offset */
39 nullptr, /* tp_getattr */
40 nullptr, /* tp_setattr */
41 nullptr, /* tp_reserved */
42 (reprfunc)THPMemoryFormat_repr, /* tp_repr */
43 nullptr, /* tp_as_number */
44 nullptr, /* tp_as_sequence */
45 nullptr, /* tp_as_mapping */
46 nullptr, /* tp_hash */
47 nullptr, /* tp_call */
48 nullptr, /* tp_str */
49 nullptr, /* tp_getattro */
50 nullptr, /* tp_setattro */
51 nullptr, /* tp_as_buffer */
52 Py_TPFLAGS_DEFAULT( 0 | (1UL << 18) | 0), /* tp_flags */
53 nullptr, /* tp_doc */
54 nullptr, /* tp_traverse */
55 nullptr, /* tp_clear */
56 nullptr, /* tp_richcompare */
57 0, /* tp_weaklistoffset */
58 nullptr, /* tp_iter */
59 nullptr, /* tp_iternext */
60 nullptr, /* tp_methods */
61 nullptr, /* tp_members */
62 nullptr, /* tp_getset */
63 nullptr, /* tp_base */
64 nullptr, /* tp_dict */
65 nullptr, /* tp_descr_get */
66 nullptr, /* tp_descr_set */
67 0, /* tp_dictoffset */
68 nullptr, /* tp_init */
69 nullptr, /* tp_alloc */
70 nullptr, /* tp_new */
71};
72
73void THPMemoryFormat_init(PyObject *module)
74{
75 if (PyType_Ready(&THPMemoryFormatType) < 0) {
76 throw python_error();
77 }
78 Py_INCREF(&THPMemoryFormatType)_Py_INCREF(((PyObject*)(&THPMemoryFormatType)));
79 if (PyModule_AddObject(module, "memory_format", (PyObject *)&THPMemoryFormatType) != 0) {
80 throw python_error();
81 }
82}