blazCTF writeup common usage forge create {contract name} --rpc-url {} --private-key {} --contracts {local path} --constructor-args {} cast send --rpc-url {} --private-key {} "{fuction signature}" ...

. ├── backtesting.md onchain examples ├── benches benchmark(unused) ├── cache What's the result?? │ ├── 99 │ └── heimdall What's heimdall? ├── Cargo.lock ├── Cargo.toml ├...

基本使用 ityfuzzup # 更新 solc xxx.sol --bin --abi -o . --overwrite # 编译 ityfuzz evm -t "concolic-1/build/*" --concolic tests evm complex-condition：没有测试完全部三个函数，其中一个得到结果就输出了？ concolic-1：涉及address的我记得论文里...

AI Summary AI Summary is generated by Scispace & ChatGPT. Summary and Organized Content Introduction and Background Smart contracts pose challenges for fuzzing due to their stateful natu...

Codespace Github Codespace: 感觉更适合合作办公 Copilot Usage: Tab / Control+Enter provides auto completion and possible options generates from comments It collects: context filename and type ...

背景 native层存在server证书验证(C#) Plan A: 在VirtualXposed或VirtualAppEx的IOUniformer.cpp里实现一劳永逸的hook，参见：一套强劲的 Il2cpp Hook 框架 by Himeko の 妙妙屋，但我暂时没有成功。 Plan B: 每次应用启动时用Frida + 手动...

1 子域名 参照：http://www.51testing.com/html/87/n-3722587.html 1.1 搜索引擎 sublist3r linux工具，包含了Google, Yahoo, Bing, Baidu, Ask，Netcraft, VirusTotal, ThreatCrowd, DNSdumpster, PassiveDNS。 ...

1 前期准备 1.1 打包方式 1.2 logcat 1.3 有保护 2 逆向 2.1 mono打包 2.2 il2cpp打包 2.3 反编译 2.4 hook与修改 3 通信 3.1 运气好的话 3.2 不走系统代...

请配合这篇一起看：https://github.com/wangyu-/UDPspeeder/issues/87 环境： 主力机是mac或linux的直接看mitmproxy官方手册 宿主机: Win 10 无线网卡； 抓包用的虚拟机：VirtualBox + Ubuntu 18.03LTS（kali的ebtables好像没有bro...

找到ida目录下的dbgsrv里的linux_server或linux_server64（按需选择），拷贝到虚拟机里 启动linux_server（以linux_server举例） （以linux_server举例） chmod +x linux_server ./linux_server 在虚拟机上打开了23946端口 配...