pdreiter / FuncRepair

function-based program repair
2 stars 1 forks source link

processing decompiled functions with unhandled attributes [__noreturn] and void param #4

Open pdreiter opened 6 months ago

pdreiter commented 6 months ago

looks like this particular combination is not handled:

//--------------------------------------------------------------------
// Decompiled Function Declarations
void __noreturn _cxa_pure_virtual(void);

//--------------------------------------------------------------------
// Decompiled Function Definitions
//----- (000028CF) --------------------------------------------------------
void __noreturn _cxa_pure_virtual(void)
{
  int v0; // [esp+10h] [ebp+8h]

  x__cgc__terminate(1);
  cgc_exit(v0);
}
// 23E0: using guessed type int  x__cgc__terminate(int);
// 28EC: using guessed type int  cgc_exit(int);

// nfuncs=197 queued=1 decompiled=1 lumina nreq=0 worse=0 better=0

void __noreturn det__cxa_pure_virtual(
        void* EBX,
        void* mycgc__terminate,
        void* mycgc_exit,
        void 
)