Merge pull request #588 from Highwaist/lab4

[LAB4] 511558025

Author: TaiYou-TW

lab4/main_test.js

@@ -24,4 +24,4 @@ const puppeteer = require('puppeteer');
     console.log(desiredTitle);
 
     await browser.close();
-})();
+})(); 

lab7/sol.py

@@ -0,0 +1,13 @@
+import angr, sys
+proj = angr.Project('./login')
+init_state = proj.factory.entry_state()
+simulation = proj.factory.simgr(init_state)
+
+def success_condition(state):
+	return b"Login successful" in state.posix.dumps(sys.stdout.fileno())
+def fail_condition(state):
+	return b"Login failed" in state.posix.dumps(sys.stdout.fileno())
+simulation.explore(find=success_condition, avoid=fail_condition)
+solution = simulation.found[0]
+print(solution.posix.dumps(sys.stdin.fileno())) 
+#b'HETOBRCUVWOBFEBB'