March 01, 2020Yiling He Reading time ~5 minutes 编译运行FlowDroid Contents FlowDroid 代码结构 context-, flow-, field- and object-sensitive 数据流分析的分类(General) object-sensitive field-sensitive 用Maven构建Flowdroid 主要问题和解决方法 Maven 手动添加 JAR 包到本地仓库 使用jar包运行Flowdroid FlowDroid 代码结构 ’14论文主页-源码分为两部分: soot-infoflow:通用的污点分析 soot-infoflow-android:建模安卓组件生命周期等 依赖Soot和Heros: Soot:起初是Java优化框架,现常被用于Java和安卓应用的分析、插桩、优化、可视化等(Call-graph construction, Def/use chain…) Heros - IFDS框架:将函数间的数据流分析问题转化为图可达问题
February 13, 2020Yiling He Reading time ~2 minutes 阿里云服务器SSH登录及云盘挂载 网页远程登录 VNC远程连接,输入远程连接密码 显示命令行后,如果是全黑屏就点击左上角任意发送一个命令 控制台输入用户名(默认root)和密码(实例的密码) 注意两个密码不一样,忘记了就重置/修改吧,但改完后一定要重启!
February 10, 2020Yiling He Reading time ~23 minutes Ubuntu-GPU-Server常用操作指南 Contents SSH神器:MobaXterm 基本场景0: SSH 场景1: 通过跳板机的远程登录 需求介绍 配置教程 场景2: 本地浏览器访问远程端口 需求介绍 配置教程 更新CUDA版本 VSCode: 编辑远程文件 Anaconda3安装OpenCV Linux常用命令 执行.sh文件 tar: tape archive 主要选项 辅助选项 压缩选项 not support compress directly 附:(其它)压缩 / 解压 统计目录下 文件/目录 个数 实时监测命令的运行结果 kill进程 修改环境变量 查看系统版本 系统管理 sudo: superuser do su: switch user 用户与用户组 ps: process status nohup: no hang up screen reboot 文档编辑 grep: global regular expression print wc: word count Vim编辑器 文件管理 chown: change owner chgrp: change group chmod: change mode cat: concatenate more / less ln: link cp: copy rm: remove mv: move scp: secure copy wget & curl locate whereis which split 磁盘管理 cd: change directory pwd: print work directory ls: list df: disk free du: disk usage mkdir 网络通讯 netstat tcpdump ifconfig 常用符号 正则表达式 限定符 定位符 非打印字符 其它特殊字符 字符簇