Rafał Leśniak

All those handlers are in librevm/lang/access.c . This error cause the inform command to fail on kedbg, for example: type ivtent = seg:short off:short ``` [*] Added type ivtent succesfully...

A requirement for optimal translation into SSA form is to compute the dominator tree of the control flow graph. There are many algorithms to compute that tree. An example is...

The ERESI type system is currently unable to give types to functions. Such feature would allow us to: - Give a type to ERESI commands and functions and be able...

Transformation to ELIR is currently only provided for SPARC and INTEL code. Adam is starting a new project at university about static analysis of MIPS binary code. Such project includes...

The vectors "readmema" and "writemem" will in certain conditions read or write to an invalid address, leading to a segmentation fault when in e2dbg. Other programs seems immune against this...

The argcount vector handler for IA32 often returns 0xffffffff on some binaries (ex: ssh) which makes many functions not tracable at all. --- Ticket: 68 Reported by: may on Sun...

Etrace is so slow on big binaries that it makes it almost impossible to use. Using the hash table of symbols (instead of using elfsh_get_metasym_by_name()) during ET_REL relocation should get...

Several testsuite entries finishes unexpectedly even on Linux/IA32: - sect_fillbss_injection - sect_preinterp_injection - etrel_extstatic (fails because too many files are loaded) - etrel_piessp - etrel_static - etrel_memory - etrel_extplt: end...

The testsuite/static_analysis/\* directories do not have "all64" targets. This must be done to enable relevant 64b static analysis testsuite. --- Ticket: 65 Reported by: may on Sun Jul 6 03:08:43...

Many libraries of ERESI still takes a CFLAGS and LDFLAGS defined in their own Makefile instead of using eresi-config for generating it. SUch libraries include libedfmt, libetrace, librevm, libmjollnir and...