MCPcopy Create free account
hub / github.com/cmu-sei/pharos / get_stack_const

Method get_stack_const

libpharos/semantics.cpp:334–399  ·  view source on GitHub ↗

Increasingly, Cory suspects that this is the wrong way to do this... Instead we should: 1. Check if the expression is a constant. Reject as a stack delta. 2. Check if the expression is a simple variable. Accept as 0 if esp_0, else reject. 3. Substitute esp_0 with the value zero. 4. If the expression is different, it's the "stack delta".

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 4

handle_stack_deltaMethod · 0.80
check_saved_registerMethod · 0.80
analyze_parametersMethod · 0.80

Calls 2

get_signed_valueFunction · 0.85
emptyMethod · 0.45

Tested by

no test coverage detected