LESLIEDUC-CSDN博客

原创改变所用Latex模板的图表编号

1.若模板本是数字，需要改为罗马符号则用下面两句，需要大写用Roman,小写就用roman\renewcommand{\thetable}{\Roman{table}}\renewcommand{\thefigure}{\Roman{figure}}2.若需要改为数字符号则用下面两句\renewcommand{\thetable}{\arabic{table}}\renewco...

2020-03-04 11:35:54 4736

原创最新版FlowDroid搭建教程

本文使用源码搭建的方法。1.环境搭建主要工具和环境为：java 1.8+maven3.6.1+eclipse2019-3只要JDK版本为1.8即可，maven必须配置好！！2.下载FlowDroid源码下载地址：（正在审核）这里是引用3.将项目导入eclipse①将得到的soot-infoflow和soot-infoflow-android文件依次导入②检查两个pom...

2020-02-20 16:51:10 3816 3

原创 Latex书籍模板分享

1.ebook–电子书下载地址：（正在审核）2.The Legrand Orange Book下载地址：（正在审核）3.tstextbook下载地址：（正在审核）4.使用方法任一压缩包解压后找到主要tex文件。用TeXstudio软件打开，编译运行后便可预览到效果。...

2020-02-20 16:23:10 4106

原创关于使用静态常量传播问题的分析工具COAL solver时出现的错误

Time:2019-4-8依照官方http://siis.cse.psu.edu/coal/tutorial.html给出的运行示例当开始执行命令% java -cp coal-tutorial-main-0.1.7.jar;coal-tutorial-classpath-0.1.7.jar edu.psu.cse.siis.coal.tuto.TutorialMain时 ...

2019-04-08 20:44:43 210