BCHPullData (codehawk.BCHPullData)

val check_jni_returnvalue : 
  string ->
  CHNumerical.numerical_t list ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val check_jni_interface_pointer : 
  BCHLibTypes.function_info_int ->
  BCHLibTypes.argument_values_int ->
  CHLanguage.variable_t ->
  int option

Currently unimplemented

val get_decodepointer_target : 
  BCHLibTypes.floc_int ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val get_encodepointer_target : 
  BCHLibTypes.floc_int ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val get_proc_address_target : 
  BCHLibTypes.floc_int ->
  BCHLibTypes.call_target_t option

Currently unimplemented

val get_constant_call_targets : 
  BCHLibTypes.floc_int ->
  CHNumerical.numerical_t ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val extract_call_target : 
  BCHLibTypes.floc_int ->
  BCHLibTypes.function_info_int ->
  XprTypes.xpr_t ->
  CHNumerical.numerical_t list ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val pull_call_targets : 
  BCHLibTypes.floc_int ->
  CHLanguage.variable_t ->
  BCHLibTypes.call_target_t list

Currently unimplemented

val get_argument_embedded_values : 
  BCHLibTypes.function_info_int ->
  CHLanguage.variable_t ->
  BCHLibTypes.call_target_t list

Currently unimplemented