mantiserve.apogee_ex1_specific module

This module is purely for testing purposes for Apogee Example 1 to make sure this package can find all of its dependencies and complete a run of Manticore trace following.

mantiserve.apogee_ex1_specific.build_fake_reachability_msg(bin_path: str) mate_common.models.integration.Reachability
Parameters

bin_path (str) –

Return type

mate_common.models.integration.Reachability

mantiserve.apogee_ex1_specific.get_waypoints() List[mate_common.models.integration.Waypoint]
Return type

List[mate_common.models.integration.Waypoint]

mantiserve.apogee_ex1_specific.try_exploit(payload: bytes) bool

Tries to send the exploit payload across the network to the Apogee example 1 server. Also checks that we receive back some correct messages.

Returns whether or not the exploit worked.

Parameters

payload (bytes) –

Return type

bool