Disconnect3d

Results 494 comments of Disconnect3d

Any chance we can display the condition and SAT/UNSAT in two columns? Or somehow that it will be more readable? I feel like the output is bloated with colors and...

> ^ I think this looks much better(?), but it sacrifices the ability to display the detailed information behind its UNSAT status. This results that I still need to check...

Pretty sure the memoization improvements from https://github.com/pwndbg/pwndbg/issues/1453 may help here, at least a little bit.

Two things to profile this: 1) `PYTHONPROFILEIMPORTTIME=1 gdb --quiet --batch` - and checking import times (thx to https://stackoverflow.com/questions/34755728/profile-python-import-times/55603444#55603444) 2) `PWNDBG_PROFILE=1 time gdb --quiet --batch && ./profiling/print_stats.py ./pwndbg-load.pstats > x &&...

Some work has been done in: * https://github.com/pwndbg/pwndbg/pull/1983 * https://github.com/pwndbg/pwndbg/pull/1984

Fwiw we should investigate "freezing" or "frozen" modules, since this [may improve startup time](https://github.com/python/cpython/issues/89183#issuecomment-1093926744) if we would do it for ALL Pwndbg code and its dependencies code. We could do...

Eh, I don't have such hardware to test this myself. We invoke some GDB hooks when e.g. a library is loaded, on program start or when a stop occurs. Most...

## Improve certain commands This is a project to improve the following commands: * Add `cyclic -d|--detect` to detect cyclic pattern offsets in registers and stack values (https://github.com/pwndbg/pwndbg/issues/1965) * Fix...

@jetchirag Yup, I edited the main post once more to reflect that we are now a sub-org of Python org in GSoC 2024.