Skip to content

Commit

Permalink
remove some debugging things
Browse files Browse the repository at this point in the history
  • Loading branch information
@endeav0r
endeav0r committed Sep 6, 2018
1 parent c1f3b90 commit ec7f1cd
Showing 1 changed file with 0 additions and 154 deletions.
154 changes: 0 additions & 154 deletions src/driver.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,160 +29,6 @@ pub fn drive_to_address<P: Platform<P>>(
let mut step_drivers = Vec::new();
for driver in drivers {

// if _step > 3579904 {
// if let Some(instruction) =
// driver.location()
// .apply(driver.program())
// .unwrap()
// .instruction() {
// let sp = driver.state().symbolize_and_eval(&driver.state().scalar("$sp").unwrap())?.unwrap();
// println!("{}, sp={}", instruction, sp);
// }
// }

// if driver.address().map(|address| address > 0x684aea00).unwrap_or(false) {
// println!("Address is 0x{:x}", driver.address().unwrap());

// println!("ra={}",
// driver.state().symbolize_and_eval(
// &driver.state().scalar("$ra").unwrap())?.unwrap());
// }

if driver.address().map(|address| address == 0x684e2b10).unwrap_or(false) {
let a0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a0").unwrap())?
.unwrap();

let string = driver.state().get_string(a0.value_u64().unwrap())?.unwrap();

println!("getenv {}, ra={}", string,
driver.state().symbolize_and_eval(
&driver.state().scalar("$ra").unwrap())?.unwrap());
}

if driver.address().map(|address| address == 0x685c56e8).unwrap_or(false) {
println!("__res_maybe_init, ra={}",
driver.state().symbolize_and_eval(
&driver.state().scalar("$ra").unwrap())?.unwrap());
}

if driver.address().map(|address| address == 0x685c7870).unwrap_or(false) {
println!("__nss_hostname_digits_dots, ra={}",
driver.state().symbolize_and_eval(
&driver.state().scalar("$ra").unwrap())?.unwrap());
}

if driver.address().map(|address| address == 0x685b4860).unwrap_or(false) {
println!("sub_105e60 a0={} ra={}",
driver.state().symbolize_and_eval(
&driver.state().scalar("$a0").unwrap())?.unwrap(),
driver.state().symbolize_and_eval(
&driver.state().scalar("$ra").unwrap())?.unwrap());
}

if driver.address().map(|address| address == 0x685b3f30).unwrap_or(false) {
let a0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a0").unwrap())?
.unwrap();

let string = driver.state().get_string(a0.value_u64().unwrap())?.unwrap();

println!("gethostbyname(\"{}\"), ra={}",
string,
driver.state().symbolize_and_eval(
&driver.state().scalar("$ra").unwrap())?.unwrap());
}

// if _step > 5701632 {
// if let Some(instruction) = driver.ref_program_location().instruction() {
// println!("{} {}", _step, instruction);
// }
// }

if driver.address().map(|address| address == 0x46006e30).unwrap_or(false) {
let a0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a0").unwrap())?
.unwrap();
let a1 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a1").unwrap())?
.unwrap();
let a2 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a2").unwrap())?
.unwrap();

println!("open_verify {}, {}, {}",
driver.state().get_string(a0.value_u64().unwrap())?.unwrap(),
a1, a2);
}

if driver.address().map(|address| address == 0x4600764c).unwrap_or(false) {
let v0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$v0").unwrap())?
.unwrap();

println!("open_verify result {}", v0);
}

let close_addresses = &[0x46005978, 0x46005b00, 0x460064ec, 0x46006f80];

for address in close_addresses {
if driver.address().map(|a| a == *address).unwrap_or(false) {
println!("hit close on 0x{:x}", address);
}
}


if driver.address().map(|address| address == 0x46005af8).unwrap_or(false) {
let v0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$v0").unwrap())?
.unwrap();
let a2 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$a2").unwrap())?
.unwrap();
let s0 =
driver.state()
.symbolize_and_eval(
&driver.state().scalar("$s0").unwrap())?
.unwrap();

// for i in 0..256 {
// let address = 0x68000000 + (i * 4);
// println!("0x{:x} {}", address,
// driver.state().memory().load(address, 32)?
// .map(|e| ::falcon::executor::eval(&e).unwrap())
// .map(|e| format!("{}", e))
// .unwrap_or(String::new()));
// }

println!("0x46005af8 {}, {}, {}", v0, a2, s0);
}


// for scalar in driver.state().scalars() {
// if let Some(value) = driver.state().symbolize_and_eval(&::falcon::il::expr_scalar(scalar.clone(), 32))? {
// if value.value_u64().unwrap() == 0x400054 {
// println!("scalar: {}", scalar);
// panic!("Found value");
// }
// }
// }

for driver in driver.step()? {
if driver.address()
.map(|address| address == target_address)
Expand Down

0 comments on commit ec7f1cd

Please sign in to comment.