摘要: 【家常菜】二十分钟炝锅面 背景 二十多分钟可以完成的家常菜,来自隋坡老师的改良版。 方法 油多点,火大点,炒鸡蛋,更容易膨胀;鸡蛋打散炒老一点,更容易出高汤。 小火煸葱至变色有点干,记得加一个八角。两者反应有肉香味。葱要多,我放了一颗二十多厘米的,老师的视频明显比我多一倍。 加水烧开,倒入鸡蛋,大火翻滚三分钟,肉香味会出现。 阅读全文
posted @ 2024-02-14 01:44 WordDealer 阅读(21) 评论(1) 推荐(0) 编辑
摘要: ## angr 约束的ast孩子 solver.constraints[0]是angr当前state的第一个约束,是ast形式来展示的,其中,以下接口与约束的孩子有关,即得到约束的叶子或者子树 以下返回结果大部分只有BVV和BVS类型,不包含int类型(如扩展位数操作的32和8),args会返回in 阅读全文
posted @ 2023-08-27 13:59 WordDealer 阅读(5) 评论(0) 推荐(0) 编辑
摘要: ## 背景 Time-travel Testing of Android Apps ICSE 2020 新加坡国立大学 ## 4 Implementation 实施 我们的时间旅行框架作为一个全自动化的应用测试平台实施,它使用或扩展了以下工具:VirtualBox [4],用于运行和控制Androi 阅读全文
posted @ 2023-07-22 01:10 WordDealer 阅读(14) 评论(0) 推荐(0) 编辑
摘要: 阅读全文
posted @ 2023-07-16 14:41 WordDealer 阅读(3) 评论(0) 推荐(0) 编辑
摘要: # 提示工程博客 ## 参考资料 > https://zhuanlan.zhihu.com/p/616934904#:~:text=%E6%8F%90%E7%A4%BA%E5%B7%A5%E7%A8%8B%20%28Prompt%20Engineering%20%EF%BC%8C%E4%B9%9F% 阅读全文
posted @ 2023-06-26 21:30 WordDealer 阅读(197) 评论(0) 推荐(0) 编辑
摘要: JAVA基础语法(三) 目录 包机制 JavaDoc文档 包机制 本质是文件夹,用于区分类的命名空间。 域名倒置作为包名。 需要写本文件所在包名。写在类和import之上。如package com.baidu.www; 注意写本文件所在包名时不要忘记分号。 导入包名用import。 如果想使用不同包 阅读全文
posted @ 2022-07-18 23:10 WordDealer 阅读(20) 评论(0) 推荐(0) 编辑
摘要: JAVA基础语法02 目录 运算符 运算符 运算符种类 算术运算符 赋值运算符 关系运算符 instanceof 对象实例 instanceof 类名,返回布尔值。判断实例是否属于这个类。 逻辑运算符 位运算符 ^ ~ << >> >>> 异或、取反、左移、右移、无符号右移 条件运算符 扩展赋值运算 阅读全文
posted @ 2022-07-15 02:31 WordDealer 阅读(29) 评论(0) 推荐(0) 编辑
摘要: 打开应用 | 操作 | 功能|备注+助记| | : | : |: | | Win + e | 打开文件资源管理器 |即打开我的电脑| | Ctrl + Shift +ESC | 打开任务管理器 |最左边两个角的功能键加shift| | Win + Tab | 打开任务视图 |笔记本电脑三指上滑,可以 阅读全文
posted @ 2022-07-05 03:09 WordDealer 阅读(171) 评论(0) 推荐(0) 编辑
摘要: JAVA基础语法(一) 目录 注释 标识符 数据类型 变量&&常量 注释 单行注释 //内容 多行注释 /*多行内容*/ IDEA更改注释颜色:file->setting->editor->code scheme->java->comment (comment有注释的意思阿) 在IDEA中,ctrl 阅读全文
posted @ 2022-06-24 04:14 WordDealer 阅读(32) 评论(0) 推荐(0) 编辑
摘要: JAVA Hello,world! 众所周知,程序员只要掌握了Hello,world,就可以说是精通某一类编程语言了。我几乎所有的编写语言都是从输出一个Hello,world!的字符串开始的。 本文首先尝试仅使用JDK和记事本编写运行一个Hello,world程序。再使用IDEA编写一个。 记事本编 阅读全文
posted @ 2022-06-21 01:43 WordDealer 阅读(94) 评论(0) 推荐(0) 编辑