1 /* Python interface to symbols.
3 Copyright (C) 2008-2024 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
24 #include "python-internal.h"
28 struct symbol_object
{
30 /* The GDB symbol structure this object is wrapping. */
31 struct symbol
*symbol
;
32 /* A symbol object is associated with an objfile, so keep track with
33 doubly-linked list, rooted in the objfile. This lets us
34 invalidate the underlying struct symbol when the objfile is
40 /* Require a valid symbol. All access to symbol_object->symbol should be
41 gated by this call. */
42 #define SYMPY_REQUIRE_VALID(symbol_obj, symbol) \
44 symbol = symbol_object_to_symbol (symbol_obj); \
47 PyErr_SetString (PyExc_RuntimeError, \
48 _("Symbol is invalid.")); \
53 /* A deleter that is used when an objfile is about to be freed. */
54 struct symbol_object_deleter
56 void operator() (symbol_object
*obj
)
60 symbol_object
*next
= obj
->next
;
71 static const registry
<objfile
>::key
<symbol_object
, symbol_object_deleter
>
72 sympy_objfile_data_key
;
75 sympy_str (PyObject
*self
)
78 struct symbol
*symbol
= NULL
;
80 SYMPY_REQUIRE_VALID (self
, symbol
);
82 result
= PyUnicode_FromString (symbol
->print_name ());
88 sympy_get_type (PyObject
*self
, void *closure
)
90 struct symbol
*symbol
= NULL
;
92 SYMPY_REQUIRE_VALID (self
, symbol
);
94 if (symbol
->type () == NULL
)
100 return type_to_type_object (symbol
->type ());
104 sympy_get_symtab (PyObject
*self
, void *closure
)
106 struct symbol
*symbol
= NULL
;
108 SYMPY_REQUIRE_VALID (self
, symbol
);
110 if (!symbol
->is_objfile_owned ())
113 return symtab_to_symtab_object (symbol
->symtab ());
117 sympy_get_name (PyObject
*self
, void *closure
)
119 struct symbol
*symbol
= NULL
;
121 SYMPY_REQUIRE_VALID (self
, symbol
);
123 return PyUnicode_FromString (symbol
->natural_name ());
127 sympy_get_linkage_name (PyObject
*self
, void *closure
)
129 struct symbol
*symbol
= NULL
;
131 SYMPY_REQUIRE_VALID (self
, symbol
);
133 return PyUnicode_FromString (symbol
->linkage_name ());
137 sympy_get_print_name (PyObject
*self
, void *closure
)
139 struct symbol
*symbol
= NULL
;
141 SYMPY_REQUIRE_VALID (self
, symbol
);
143 return sympy_str (self
);
147 sympy_get_addr_class (PyObject
*self
, void *closure
)
149 struct symbol
*symbol
= NULL
;
151 SYMPY_REQUIRE_VALID (self
, symbol
);
153 return gdb_py_object_from_longest (symbol
->aclass ()).release ();
157 sympy_is_argument (PyObject
*self
, void *closure
)
159 struct symbol
*symbol
= NULL
;
161 SYMPY_REQUIRE_VALID (self
, symbol
);
163 return PyBool_FromLong (symbol
->is_argument ());
167 sympy_is_constant (PyObject
*self
, void *closure
)
169 struct symbol
*symbol
= NULL
;
170 enum address_class theclass
;
172 SYMPY_REQUIRE_VALID (self
, symbol
);
174 theclass
= symbol
->aclass ();
176 return PyBool_FromLong (theclass
== LOC_CONST
|| theclass
== LOC_CONST_BYTES
);
180 sympy_is_function (PyObject
*self
, void *closure
)
182 struct symbol
*symbol
= NULL
;
183 enum address_class theclass
;
185 SYMPY_REQUIRE_VALID (self
, symbol
);
187 theclass
= symbol
->aclass ();
189 return PyBool_FromLong (theclass
== LOC_BLOCK
);
193 sympy_is_variable (PyObject
*self
, void *closure
)
195 struct symbol
*symbol
= NULL
;
196 enum address_class theclass
;
198 SYMPY_REQUIRE_VALID (self
, symbol
);
200 theclass
= symbol
->aclass ();
202 return PyBool_FromLong (!symbol
->is_argument ()
203 && (theclass
== LOC_LOCAL
|| theclass
== LOC_REGISTER
204 || theclass
== LOC_STATIC
|| theclass
== LOC_COMPUTED
205 || theclass
== LOC_OPTIMIZED_OUT
));
208 /* Implementation of Symbol.is_artificial. */
211 sympy_is_artificial (PyObject
*self
, void *closure
)
213 struct symbol
*symbol
= nullptr;
215 SYMPY_REQUIRE_VALID (self
, symbol
);
217 return PyBool_FromLong (symbol
->is_artificial ());
220 /* Implementation of gdb.Symbol.needs_frame -> Boolean.
221 Returns true iff the symbol needs a frame for evaluation. */
224 sympy_needs_frame (PyObject
*self
, void *closure
)
226 struct symbol
*symbol
= NULL
;
229 SYMPY_REQUIRE_VALID (self
, symbol
);
233 result
= symbol_read_needs_frame (symbol
);
235 catch (const gdb_exception
&except
)
237 return gdbpy_handle_gdb_exception (nullptr, except
);
245 /* Implementation of gdb.Symbol.line -> int.
246 Returns the line number at which the symbol was defined. */
249 sympy_line (PyObject
*self
, void *closure
)
251 struct symbol
*symbol
= NULL
;
253 SYMPY_REQUIRE_VALID (self
, symbol
);
255 return gdb_py_object_from_longest (symbol
->line ()).release ();
258 /* Implementation of gdb.Symbol.is_valid (self) -> Boolean.
259 Returns True if this Symbol still exists in GDB. */
262 sympy_is_valid (PyObject
*self
, PyObject
*args
)
264 struct symbol
*symbol
= NULL
;
266 symbol
= symbol_object_to_symbol (self
);
273 /* Implementation of gdb.Symbol.value (self[, frame]) -> gdb.Value. Returns
274 the value of the symbol, or an error in various circumstances. */
277 sympy_value (PyObject
*self
, PyObject
*args
)
279 struct symbol
*symbol
= NULL
;
280 frame_info_ptr frame_info
= NULL
;
281 PyObject
*frame_obj
= NULL
;
283 if (!PyArg_ParseTuple (args
, "|O", &frame_obj
))
286 if (frame_obj
!= NULL
&& !PyObject_TypeCheck (frame_obj
, &frame_object_type
))
288 PyErr_SetString (PyExc_TypeError
, "argument is not a frame");
292 SYMPY_REQUIRE_VALID (self
, symbol
);
293 if (symbol
->aclass () == LOC_TYPEDEF
)
295 PyErr_SetString (PyExc_TypeError
, "cannot get the value of a typedef");
299 PyObject
*result
= nullptr;
302 if (frame_obj
!= NULL
)
304 frame_info
= frame_object_to_frame_info (frame_obj
);
305 if (frame_info
== NULL
)
306 error (_("invalid frame"));
309 if (symbol_read_needs_frame (symbol
) && frame_info
== NULL
)
310 error (_("symbol requires a frame to compute its value"));
312 /* TODO: currently, we have no way to recover the block in which SYMBOL
313 was found, so we have no block to pass to read_var_value. This will
314 yield an incorrect value when symbol is not local to FRAME_INFO (this
315 can happen with nested functions). */
316 scoped_value_mark free_values
;
317 struct value
*value
= read_var_value (symbol
, NULL
, frame_info
);
318 result
= value_to_value_object (value
);
320 catch (const gdb_exception
&except
)
322 return gdbpy_handle_gdb_exception (nullptr, except
);
328 /* Given a symbol, and a symbol_object that has previously been
329 allocated and initialized, populate the symbol_object with the
330 struct symbol data. Also, register the symbol_object life-cycle
331 with the life-cycle of the object file associated with this
332 symbol, if needed. */
334 set_symbol (symbol_object
*obj
, struct symbol
*symbol
)
336 obj
->symbol
= symbol
;
338 if (symbol
->is_objfile_owned ()
339 && symbol
->symtab () != NULL
)
341 struct objfile
*objfile
= symbol
->objfile ();
343 obj
->next
= sympy_objfile_data_key
.get (objfile
);
345 obj
->next
->prev
= obj
;
346 sympy_objfile_data_key
.set (objfile
, obj
);
352 /* Create a new symbol object (gdb.Symbol) that encapsulates the struct
353 symbol object from GDB. */
355 symbol_to_symbol_object (struct symbol
*sym
)
357 symbol_object
*sym_obj
;
359 sym_obj
= PyObject_New (symbol_object
, &symbol_object_type
);
361 set_symbol (sym_obj
, sym
);
363 return (PyObject
*) sym_obj
;
366 /* Return the symbol that is wrapped by this symbol object. */
368 symbol_object_to_symbol (PyObject
*obj
)
370 if (! PyObject_TypeCheck (obj
, &symbol_object_type
))
372 return ((symbol_object
*) obj
)->symbol
;
376 sympy_dealloc (PyObject
*obj
)
378 symbol_object
*sym_obj
= (symbol_object
*) obj
;
381 sym_obj
->prev
->next
= sym_obj
->next
;
382 else if (sym_obj
->symbol
!= NULL
383 && sym_obj
->symbol
->is_objfile_owned ()
384 && sym_obj
->symbol
->symtab () != NULL
)
385 sympy_objfile_data_key
.set (sym_obj
->symbol
->objfile (), sym_obj
->next
);
387 sym_obj
->next
->prev
= sym_obj
->prev
;
388 sym_obj
->symbol
= NULL
;
389 Py_TYPE (obj
)->tp_free (obj
);
392 /* __repr__ implementation for gdb.Symbol. */
395 sympy_repr (PyObject
*self
)
397 const auto symbol
= symbol_object_to_symbol (self
);
398 if (symbol
== nullptr)
399 return gdb_py_invalid_object_repr (self
);
401 return PyUnicode_FromFormat ("<%s print_name=%s>", Py_TYPE (self
)->tp_name
,
402 symbol
->print_name ());
406 gdb.lookup_symbol (name [, block] [, domain]) -> (symbol, is_field_of_this)
407 A tuple with 2 elements is always returned. The first is the symbol
408 object or None, the second is a boolean with the value of
409 is_a_field_of_this (see comment in lookup_symbol_in_language). */
412 gdbpy_lookup_symbol (PyObject
*self
, PyObject
*args
, PyObject
*kw
)
414 int domain
= VAR_DOMAIN
;
415 struct field_of_this_result is_a_field_of_this
;
417 static const char *keywords
[] = { "name", "block", "domain", NULL
};
418 struct symbol
*symbol
= NULL
;
419 PyObject
*block_obj
= NULL
, *sym_obj
, *bool_obj
;
420 const struct block
*block
= NULL
;
422 if (!gdb_PyArg_ParseTupleAndKeywords (args
, kw
, "s|O!i", keywords
, &name
,
423 &block_object_type
, &block_obj
,
428 block
= block_object_to_block (block_obj
);
431 frame_info_ptr selected_frame
;
435 selected_frame
= get_selected_frame (_("No frame selected."));
436 block
= get_frame_block (selected_frame
, NULL
);
438 catch (const gdb_exception
&except
)
440 return gdbpy_handle_gdb_exception (nullptr, except
);
446 domain_search_flags flags
= from_scripting_domain (domain
);
447 symbol
= lookup_symbol (name
, block
, flags
, &is_a_field_of_this
).symbol
;
449 catch (const gdb_exception
&except
)
451 return gdbpy_handle_gdb_exception (nullptr, except
);
454 gdbpy_ref
<> ret_tuple (PyTuple_New (2));
455 if (ret_tuple
== NULL
)
460 sym_obj
= symbol_to_symbol_object (symbol
);
469 PyTuple_SET_ITEM (ret_tuple
.get (), 0, sym_obj
);
471 bool_obj
= PyBool_FromLong (is_a_field_of_this
.type
!= NULL
);
472 PyTuple_SET_ITEM (ret_tuple
.get (), 1, bool_obj
);
474 return ret_tuple
.release ();
478 gdb.lookup_global_symbol (name [, domain]) -> symbol or None. */
481 gdbpy_lookup_global_symbol (PyObject
*self
, PyObject
*args
, PyObject
*kw
)
483 int domain
= VAR_DOMAIN
;
485 static const char *keywords
[] = { "name", "domain", NULL
};
486 struct symbol
*symbol
= NULL
;
489 if (!gdb_PyArg_ParseTupleAndKeywords (args
, kw
, "s|i", keywords
, &name
,
495 domain_search_flags flags
= from_scripting_domain (domain
);
496 symbol
= lookup_global_symbol (name
, NULL
, flags
).symbol
;
498 catch (const gdb_exception
&except
)
500 return gdbpy_handle_gdb_exception (nullptr, except
);
505 sym_obj
= symbol_to_symbol_object (symbol
);
519 gdb.lookup_static_symbol (name [, domain]) -> symbol or None. */
522 gdbpy_lookup_static_symbol (PyObject
*self
, PyObject
*args
, PyObject
*kw
)
525 int domain
= VAR_DOMAIN
;
526 static const char *keywords
[] = { "name", "domain", NULL
};
527 struct symbol
*symbol
= NULL
;
530 if (!gdb_PyArg_ParseTupleAndKeywords (args
, kw
, "s|i", keywords
, &name
,
534 /* In order to find static symbols associated with the "current" object
535 file ahead of those from other object files, we first need to see if
536 we can acquire a current block. If this fails however, then we still
537 want to search all static symbols, so don't throw an exception just
539 const struct block
*block
= NULL
;
542 frame_info_ptr selected_frame
543 = get_selected_frame (_("No frame selected."));
544 block
= get_frame_block (selected_frame
, NULL
);
546 catch (const gdb_exception_forced_quit
&e
)
548 quit_force (NULL
, 0);
550 catch (const gdb_exception
&except
)
557 domain_search_flags flags
= from_scripting_domain (domain
);
559 if (block
!= nullptr)
561 = lookup_symbol_in_static_block (name
, block
, flags
).symbol
;
563 if (symbol
== nullptr)
564 symbol
= lookup_static_symbol (name
, flags
).symbol
;
566 catch (const gdb_exception
&except
)
568 return gdbpy_handle_gdb_exception (nullptr, except
);
573 sym_obj
= symbol_to_symbol_object (symbol
);
587 gdb.lookup_static_symbols (name [, domain]) -> symbol list.
589 Returns a list of all static symbols matching NAME in DOMAIN. */
592 gdbpy_lookup_static_symbols (PyObject
*self
, PyObject
*args
, PyObject
*kw
)
595 int domain
= VAR_DOMAIN
;
596 static const char *keywords
[] = { "name", "domain", NULL
};
598 if (!gdb_PyArg_ParseTupleAndKeywords (args
, kw
, "s|i", keywords
, &name
,
602 gdbpy_ref
<> return_list (PyList_New (0));
603 if (return_list
== NULL
)
608 domain_search_flags flags
= from_scripting_domain (domain
);
610 /* Expand any symtabs that contain potentially matching symbols. */
611 lookup_name_info
lookup_name (name
, symbol_name_match_type::FULL
);
612 expand_symtabs_matching (NULL
, lookup_name
, NULL
, NULL
,
613 SEARCH_STATIC_BLOCK
, flags
);
615 for (objfile
*objfile
: current_program_space
->objfiles ())
617 for (compunit_symtab
*cust
: objfile
->compunits ())
619 /* Skip included compunits to prevent including compunits from
620 being searched twice. */
621 if (cust
->user
!= nullptr)
624 const struct blockvector
*bv
= cust
->blockvector ();
625 const struct block
*block
= bv
->static_block ();
627 if (block
!= nullptr)
629 symbol
*symbol
= lookup_symbol_in_static_block
630 (name
, block
, flags
).symbol
;
632 if (symbol
!= nullptr)
634 PyObject
*sym_obj
= symbol_to_symbol_object (symbol
);
635 if (sym_obj
== nullptr)
637 if (PyList_Append (return_list
.get (), sym_obj
) == -1)
644 catch (const gdb_exception
&except
)
646 return gdbpy_handle_gdb_exception (nullptr, except
);
649 return return_list
.release ();
652 static int CPYCHECKER_NEGATIVE_RESULT_SETS_EXCEPTION
653 gdbpy_initialize_symbols (void)
655 if (gdbpy_type_ready (&symbol_object_type
) < 0)
658 if (PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_UNDEF", LOC_UNDEF
) < 0
659 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_CONST",
661 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_STATIC",
663 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_REGISTER",
665 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_ARG",
667 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_REF_ARG",
669 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_LOCAL",
671 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_TYPEDEF",
673 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_LABEL",
675 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_BLOCK",
677 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_CONST_BYTES",
679 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_UNRESOLVED",
681 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_OPTIMIZED_OUT",
682 LOC_OPTIMIZED_OUT
) < 0
683 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_COMPUTED",
685 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_COMMON_BLOCK",
686 LOC_COMMON_BLOCK
) < 0
687 || PyModule_AddIntConstant (gdb_module
, "SYMBOL_LOC_REGPARM_ADDR",
688 LOC_REGPARM_ADDR
) < 0)
691 #define SYM_DOMAIN(X) \
692 if (PyModule_AddIntConstant (gdb_module, "SYMBOL_" #X "_DOMAIN", \
693 to_scripting_domain (X ## _DOMAIN)) < 0 \
694 || PyModule_AddIntConstant (gdb_module, "SEARCH_" #X "_DOMAIN", \
695 to_scripting_domain (SEARCH_ ## X ## _DOMAIN)) < 0) \
697 #include "sym-domains.def"
703 GDBPY_INITIALIZE_FILE (gdbpy_initialize_symbols
);
707 static gdb_PyGetSetDef symbol_object_getset
[] = {
708 { "type", sympy_get_type
, NULL
,
709 "Type of the symbol.", NULL
},
710 { "symtab", sympy_get_symtab
, NULL
,
711 "Symbol table in which the symbol appears.", NULL
},
712 { "name", sympy_get_name
, NULL
,
713 "Name of the symbol, as it appears in the source code.", NULL
},
714 { "linkage_name", sympy_get_linkage_name
, NULL
,
715 "Name of the symbol, as used by the linker (i.e., may be mangled).",
717 { "print_name", sympy_get_print_name
, NULL
,
718 "Name of the symbol in a form suitable for output.\n\
719 This is either name or linkage_name, depending on whether the user asked GDB\n\
720 to display demangled or mangled names.", NULL
},
721 { "addr_class", sympy_get_addr_class
, NULL
, "Address class of the symbol." },
722 { "is_argument", sympy_is_argument
, NULL
,
723 "True if the symbol is an argument of a function." },
724 { "is_artificial", sympy_is_artificial
, nullptr,
725 "True if the symbol is marked artificial." },
726 { "is_constant", sympy_is_constant
, NULL
,
727 "True if the symbol is a constant." },
728 { "is_function", sympy_is_function
, NULL
,
729 "True if the symbol is a function or method." },
730 { "is_variable", sympy_is_variable
, NULL
,
731 "True if the symbol is a variable." },
732 { "needs_frame", sympy_needs_frame
, NULL
,
733 "True if the symbol requires a frame for evaluation." },
734 { "line", sympy_line
, NULL
,
735 "The source line number at which the symbol was defined." },
736 { NULL
} /* Sentinel */
739 static PyMethodDef symbol_object_methods
[] = {
740 { "is_valid", sympy_is_valid
, METH_NOARGS
,
741 "is_valid () -> Boolean.\n\
742 Return true if this symbol is valid, false if not." },
743 { "value", sympy_value
, METH_VARARGS
,
744 "value ([frame]) -> gdb.Value\n\
745 Return the value of the symbol." },
746 {NULL
} /* Sentinel */
749 PyTypeObject symbol_object_type
= {
750 PyVarObject_HEAD_INIT (NULL
, 0)
751 "gdb.Symbol", /*tp_name*/
752 sizeof (symbol_object
), /*tp_basicsize*/
754 sympy_dealloc
, /*tp_dealloc*/
759 sympy_repr
, /*tp_repr*/
761 0, /*tp_as_sequence*/
765 sympy_str
, /*tp_str*/
769 Py_TPFLAGS_DEFAULT
, /*tp_flags*/
770 "GDB symbol object", /*tp_doc */
773 0, /*tp_richcompare */
774 0, /*tp_weaklistoffset */
777 symbol_object_methods
, /*tp_methods */
779 symbol_object_getset
/*tp_getset */