Category

Description

Difficulty

Testsuite

There are testsuite failures running 'make check' on many systems. Each one of these failures should be investigated, and either fixed or the testsuite adjusted.

?

There are many XFAIL (expected failure) and KFAIL (known failure) markers in the testsuite. Some of the XFAIL markers are for environmental problems, for instance known bugs in some compiler versions. But others of them are for bugs in GDB that no one has looked at in a long time. There should be fewer!

?

There are many test message outputs in the test suite that are not unique. We'd like each test to produce an unique line in gdb.sum, so we can better use tools for automatic regression identification. See PR13443 for more info.

?

CLI

The run command should support pipes, i.e., set up inferior input to come from another program. This has been asked a number of times on the GDB IRC channel.

?

The inferior command without arguments should print info about the current inferior, just like the thread command without arguments prints info about the current thread.

easy

Documentation

The file gdb/gdbserver/README contains a quick manual for both gdbserver and gdbreplay. It would be nice to move this documentation either of the GDB manuals:
* gdbserver is a tool that gets installed by default, and thus whatever documentation provided by the README file that is not already in the GDB users manual (gdb.texinfo) should be moved there.
* gdbreplay is currently a tool that does not get installed by default. This is because it is meant more as a "developer" tool, rather than a "user" tool. For now, its documentation should be moved to gdbint.texinfo.

?

All the help strings for commands should have "Usage" lines that explain the command concisely.

?

Currently the help strings are inconsistent. They should follow GNU guidelines for "meta-syntactic variables" at least.

?

It might be nice to find a way to unify the help strings and the manual. Perhaps the help strings could be extracted from the manual, or vice versa.

?

Internals

The GDB internals are filled with multiple ways of doing the same tasks, all subtly different. Pick a module of GDB, look at the interfaces it exports, and think about which ones should really exist.

?

Many internal functions have been deprecated but not removed. Some of the deprecated functions do not have obvious replacements; either replacements should be created or the deprecation markers removed. Others do have obvious replacements, and only await someone to update the old uses. Just search for "deprecated" or "DEPRECATED" in the sources, and you'll find lots of instances of this problem. This is a good introductory project for someone who wants to learn about the GDB internals.

?

Enable building with -Wunused (except for -Wunused-parameter, which would result in too much noise due to our extensive use of virtual methods). Right now, this option is not enabled because the current sources would need to be cleaned up a bit. In particular, there are probably some unused entities left, as well as some function parameters that are unused. Enabling this option would require someone motivated to fix all the warnings that it would generate. A patch was sent here.

?

Cleanup static and externs. Some functions/variables are defined global but used only in a single file - make them static. Some of them are found as unused then. Some extern declarations no longer have any corresponding definition - remove them. I had some checking script for it in the past. One needs to be careful about conditional compilations.

?

GDB has several functions to read strings from the inferior. They should be consolidated in one function, or at most two. These are the existing string-reading functions: target_read_string, valprint.c:read_string, read_memory_string. This list is not exhaustive, perhaps there are more functions.

?

Remove global variables. A number of GDB modules use global variables, but not for any good reason. These should be removed and turned into parameters to the functions in the module. Examples include the globals in parser-defs.h and those in buildsym.h. (Not all globals are worth removing -- anything associated with the user's state in the CLI is probably a true global.)

?

There is a lot of duplication of linux target support in gdb and gdbserver. IWBN to consolidate this. See the Common project.

?

Remove macros from gdbarch.sh. There are still a lot of gdbarch-specific functions implemented as macros in gdbarch.sh. These should be replaced by their appropriate "gdbarch_"-functions. This transition is currently ongoing.

?

Change gdb to use bool where appropriate. You could grab stdbool.h from gnulib and make incremental changes across gdb, though it's much easier to wait until we drop support for compiling as a C program and use C++ bool.

?

Remove the globals from parser-defs.h; instead, they should be in an object that is passed to the parsers.

?

Remove the globals from buildsym.h and change the debug readers to create and destroy objects instead.

?

Right now valops.c and value.c can refer to current_language. This should be a parameter instead.

?

Expression creation involves two different variants of a rather weird data structure. Change this to a single data structure, with ordinary fields and subclassing.

?

Expression evaluation is currently implemented via a large recursive function. This means it cannot be paused in the middle and restarted -- important for async inferior function calls. So, change expression evaluation to use an explicit stack and to be pausable.

?

Printing has both the val_print and value_print APIs. The former is increasingly difficult to maintain; it should be removed and just a single struct value-based API should remain.

?

wrap_here does not take an output stream argument. It should.

?

The complaint system is not thread-safe. It would be nice to change the API so that the global state was more obviously manipulated so that the functions could be used from other threads.

?

const is not consistently used in gdb. Some modules would benefit from constification; for example partial symbols, and perhaps minimal symbols.

?

ui_out_message has a "verbosity" argument, but this is never used. It can be removed.

?

Maintenance

Integrate the ARI into make check. The ARI stands for Awk Regression index and is a script that does static analysis on GDB's sources. See ARI for more info.

?

Write a fuzz tester for the libiberty's demangler. There's actually a simple one in libiberty/testsuite/demangler-fuzzer.c , though one using something like AFL (american fuzzy lop) would be better.

?

Write more GCC plugins to verify gdb's own coding constraints. See gdb/contrib/cleanup_check.py for one existing example.

?

Memory

A full "struct symbol" is created for enumerators. If we could avoid that, it might save a lot of space. Enumerators are a large chunk of the symbol table in some programs, because they appear in header files (e.g. from glibc, from BFD).

?

Split struct objfile into two parts so that it can be reused across inferiors. The basic out line of this idea is here. See the ObjfileSplitting project page.

?

objfile and objalloc (used by BFD) can waste a bit of space when an object doesn't fit into one of the allocated pages. Add valgrind macros to this code to track allocations and then try to measure the wastage. See the valgrind docs for information.

?

On amd64-linux obstack alignment is 16 however gdb only ever needs 8 (or maybe rarely needs 16). This wastes a lot of space.

?

It is possible to shrink all symbol types by shrinking the "domain" and "aclass" fields and pushing them (perhaps losing a little type-safety) into general_symbol_info. However it isn't clear whether the win is worth the cost.

?

Watchpoints

GDB issues an error if you try to set a hardware watchpoint on an unreadable address (for instance, an address which has not been malloc'd yet). It disables watchpoints when addresses become unreadable. Hardware permitting, it would be great to be able to set watchpoints in advance. With address space randomization turned off, as it still is on many systems, this would let you restart a program and find the first write to a heap data structure. (A patch has been posted for this, PR 10645.)

?

The way the code calls watchpoints "in scope" or "out of scope" is misleading: it's not about scope, it's about what the ISO C standard calls "lifetime". For example, a static variable local to some block is only "in scope" for PC values that fall within that block, but the variable's lifetime is the execution of the entire program (or until the shared library that contains the function is dlclosed). A watchpoint should be deleted when the lifetime of any of the objects it refers to ends, regardless of whether they are in scope or not. We should change the comments and the names of any related functions, variables, fields, etc. to use "lifetime" instead of "scope".

?

MI (Machine Interface)

The current MI implementation does not follow its own quoting rules, as described in the manual. Many commands delegate to CLI commands and let the CLI support code parse options themselves. We should not change the quoting rules for MI version 2, as currently implemented, but when we switch over to MI version 3 it would be good to get these correct. That means having two code paths for each mishandled command, one which imitates the existing bad quoting behavior and one which gets it right. There's a description of the current state in the GDB mailing list archives.

?

Embedded Debugging

Patches have been posted for basic flash memory support, but there is still plenty of room for Flash_Debugging_Improvements.

?

Build

Enable building with -Wshadow. Right now, this option is not enabled because the sources as they are trigger too many errors. Enabling this option would require someone motivated to fix all the warnings that it would generate. This is a controversial issue, see http://sourceware.org/ml/gdb-patches/2012-08/msg00171.html for more details.

?

Symbols

Add an easy way to add user-defined symbols. It's useful for the user to be able to define symbols when the binary is stripped down. That could take the form of a command that takes the symbol name, address, and optionally the type of the symbol. A workaround is to write assembly with matching symbols/addresses, assemble it, then use add-symbol-file to load it in gdb. See https://github.com/night199uk/gdb-symbol-maker for an example.

?