Programming
文章平均质量分 55
翾昱
这个作者很懒,什么都没留下…
展开
-
如何在 Eclipse 中給args傳遞參數和使用命令行
Q: java 中args 参数如何传递(Eclipse)不用cmdA: Eclipse菜单栏中的Run-Run Configurations,其中有个(x)= Arguments,单击该选项,你在Program arguments 下面的空白栏中填写参数几个,,多个参数用空格隔开即可!Q:如何在命令行中提交inputA: ctrl + dQ: java中用什麼代碼來接收arg转载 2012-09-02 18:31:03 · 5068 阅读 · 0 评论 -
FlowDroid: 精确的上下文,流,字段, 对象敏感和生存周期感知的污染分析
一个Android app可包含多个组件,如activity, service, content-provider 和broadcast receiver。其中activity负责成像,也就是人机交互,是我们分析的主要入口和场所。不像传统的Java程序,Android app里不带main函数,我们无法简单的像之前一样找到程序的入口和出口来画控制流图,但app里每个组件都有函数来反应此组件的生命周原创 2015-02-16 15:25:15 · 10558 阅读 · 15 评论 -
Operational Semantics in Programing Language (编程语言的操作语义)
之前一直不懂什么是semantics (语言), syntax (句法) 和grammar (语法),也不懂environment (context 上下文)到底指的是什么。 现在先简单讲下在自然语言下这些都代表了个啥。syntax和grammer是语法,即句子或者短语的组成规则,规定了什么样的句子或者短语是合法的句子或短语。一个句子由主谓宾构成即最基本的语法。而语义是指句子符合语法后所表达的意思原创 2015-02-15 13:59:51 · 1741 阅读 · 0 评论 -
用求解图内节点是否可达的算法来解决IFDS问题
IFDS 问题是 Interprocedure, Finite, Distributive, Subset 问题的所写,代表了一类比较典型的静态分析问题。Interprocedure 与Intraprocedure相对,表示分析包含函数间关系;Finite 表data flow fact集合元素有限; Distributive表Join operator(也叫meet或者confluence)是并原创 2015-02-15 15:24:35 · 6406 阅读 · 6 评论 -
space
char: 1 bytesunsigned char: 1 bytesint: 4 bytesunsigned: same原创 2013-02-22 07:15:46 · 429 阅读 · 0 评论 -
How to Debug
Except using the tools embed in the IDE (like break points), some other ways exist to debug. 1) cout the variable to trace their development2) extract the small module that need to be debuged and原创 2013-02-21 16:37:31 · 468 阅读 · 0 评论 -
C++ Pointers
Notice that in C++, suppose we have a class whose name is Damn, then the code:Damn d;does not equal Damn *d = new Damn();The second code refers to initiate a new instance for Damn pointer d.原创 2013-02-19 15:57:35 · 486 阅读 · 0 评论 -
About Recursion
Reference: http://www.pureweber.com/article/recursive-power-1/Recursion is not a simple call itself or interactively control. The core of recursion is conquer-and- divide. This technique can s原创 2013-01-25 06:56:52 · 387 阅读 · 0 评论 -
C++中的操作符重载
Reference: http://www.cnblogs.com/BeyondAnyTime/archive/2012/09/01/2666570.htmlC++中的操作符重载一、什么是操作符重载操作符重载可以分为两部分:“操作符”和“重载”。说到重载想必都不陌生了吧,这是一种编译时多态,重载实际上可以分为函数重载和操作符重载。运算符重载和函数重载的不同之处在于操转载 2013-01-25 15:47:48 · 418 阅读 · 0 评论 -
Basic of C++
Data abstraction and encapsulation:Encapsulation: conceiling of the implementationdetails of a data object from the outside world.Abstraction: theseperation between the specificationof a data原创 2013-01-25 14:09:50 · 638 阅读 · 0 评论 -
CheckStyle的使用
1.简介 Checkstyle是SourceForge下的一个开源项目,提供了一个帮助JAVA开发人员遵守某些编码规范的工具。它能进行自动化代码规范检查,从而使得开发人员从这项重要但又枯燥的任务中解脱开来。 Checkstyle具有高度可配置性,这使得它可以支持几乎所有的编程规范。 本文主要将介绍Eclipse中插件的使用方法。 2.转载 2012-08-26 02:07:21 · 5710 阅读 · 0 评论 -
Deepin Linux下eclipse
從軟件中心安裝的話安裝位置在/usr/lib/eclipse中。需要root權限進行操作(sudo)。使用checkstyle插件能很好的檢查文筆,把光標移至黃色標識上方,就會出現提示。簡單說下checkstyle安裝方法。在help->install new software中add http://eclipse-cs.sourceforge.net/update然後選擇CheckS原创 2012-08-25 20:17:21 · 2350 阅读 · 1 评论 -
Writing Clear Code
Appendix B: Writing Clear CodeThe overarching goal when writing code is to make it easy to read and to understand. Well-written programs are easier to debug, easier to maintain, and have fewer e转载 2012-08-25 18:56:46 · 785 阅读 · 0 评论 -
tip 1
1. 用Eclipse前先在設置那裏把tab全部換成space,以防File Tab Character: File contains tab characters (this is the first instance).剛建立項目就打開checkstyle 即可避免2. 注意在函數中創建的形參(包括函數頭創建的)即使變量名和類裏的Final變量名一樣,但實際上是完全兩塊不同的memo原创 2012-08-26 01:48:12 · 1428 阅读 · 0 评论 -
指针分析/Point-to Analysis/Reference Analysis
目录目录指针分析指针分析的目的基础Anderson 算法例子图示指针分析指针分析紧接数据流分析,是静态分析中的一个难点。遗憾的是能把相关内容讲得通俗易懂的资料非常少,中文的更基本没有。所以我斗胆在这里以例子的形式讲一下静态分析中的指针分析。参考资料主要在此. 如果有讲错的地方还望斧正。指针分析的目的对于任何一个指针/引用,能否在编译阶段就知道它会指向内存那块位置(位置在这里并不是0x原创 2015-11-21 10:44:23 · 7479 阅读 · 3 评论