3/3 SA&Java(AS)

SA(Software analysis and verification)

一、加密程序库OpenSSL

OpenSSL详解

一个用于实现安全通信的软件包，由一组密码学函数库组成。主要目标是通过使用公开的密码学算法来保护数据的机密性、完整性和身份验证。它支持对称加密、非对称加密、数字签名、证书管理等功能。

对称密码算法：AES、DES、Blowfish

非对称密码算法：RSA、DSA

支持协议：SSL/TLS协议

二、莱斯定理

(L'Hopital's rule)。用于求解极限。当函数f(x)和g(x)在某一点a处的极限都为0或无穷大时，如果f’(x)和g’(x)在该点的极限存在（或为无穷大），则可以通过求导来求解f(x)/g(x)在该点的极限。

设函数f(x)和g(x)在某一点a处连续可导，且满足f(a)=g(a)=0，如果g’(a)≠0或g’(a)=±∞，则有： lim(x→a) [f(x)/g(x)] = lim(x→a) [f’(x)/g’(x)]

三、程序验证的平凡性质

指对某个属性或者性质，所有的程序都满足该属性或性质。比如int必须满足在数据范围内；某个排序算法程序具有平凡性质，即意味着对于任何输入，这个程序都能正确地对输入进行排序。

AS

四、Hardcoded text

Hardcoded Text解释

硬编码：将数据直接嵌入到程序或其他可执行对象的源代码中，使用非CPU进行编码；

普通编码：是从外部获取数据或在运行时生成数据，使用CPU进行编码。

Android采用的是软编码方式，获取UI控件的text值。

应该在res/values/strings.xml中设置相关值：

<resources>
    <string name="message">下一步</string>
</resources>

引用的时候使用：

android:text="@string/message"

【【【第一周顺利结束。非常充实和感觉进步很大。

翘翘错薪，言刈其楚。之子于归，言秣其马

就像砍柴要砍好柴一样，要娶就娶最好的姑娘；这个美丽的姑娘如果肯嫁给我，我甘心替她喂马，当她的马夫】】】