python学习笔记10-文件操作
摘要：
能调用方法的一定是对象。文件本身也是一个对象。有很多自己内置的方法 python 帮你自动close 必须是程序执行完了但是也不一定 不关是不安全的 若使用sleep 会发现write没有立马写到磁盘上，程序结束时才会存入磁盘中去 阅读全文
pythonweb框架Flask学习笔记05-简单登陆
摘要：
源代码从下链接引用：https://www.cnblogs.com/felixwang2/p/9261493.html 我使用的是python3.6 在运行代码的时候遇到了以下问题 加入一行代码 app.config['SECRET_KEY'] = '123456' 这是给了一个固定值 若是要给一个 阅读全文
pythonweb框架Flask学习笔记04-模板继承
摘要：
以上是运行的主程序 代码位于~/mypythonproject文件夹下 模板hello.html位于 ~/mypythonproject/templates下 运行后网页访问结果如下图: Flask 会在 templates 文件夹里寻找模板。所以，如果你的应用是个模块，这个文件夹应该与模块同级；如 阅读全文
pythonweb框架Flask学习笔记03-变量规则
摘要：
结果如下图： 注意URL最后的输入和屏幕上输出的是一样的 阅读全文
pythonweb框架Flask学习笔记02-一个简单的小程序
摘要：
在文件夹使用python hello.py 启动代码后 访问http://127.0.0.1:5000/ 即可看到屏幕上打印出hello world！！！！！！！！！！！！ 若要关闭测试服务器 按 CTRL+C 若碰到端口被占用的问题：使用以下命令来强制关闭程序 1.sudo lsof -i 500 阅读全文
pythonweb框架Flask学习笔记01-ubuntu18.04下安装Flask
摘要：
Flask 依赖两个外部库： Jinja2 模板引擎和 Werkzeug WSGI 工具集 由于各个项目工程之间可能存在python库版本的差异 为了防止库版本差异对项目开发产生的影响，使用virtualenv来进行开发和避免以上问题。 安装virtualenv： 1.sudo apt-get in 阅读全文
python学习笔记09-python编码与解码
摘要：
二进制编码： 》ASCII：只能存英文和拉丁字符 一个字符占一个字节：8位 》gb2312：只能存6700多个中文： 1980年发表 》gbk1.0：存了20000多 1995 年发表 》gb18030:2000 27000多 万国码： 》unicode:utf-32 一个字符占4个字节 》unic 阅读全文
python学习笔记08-字符串
摘要：
字符串是用单引号或者双引号引起来来的 单引号和双引号没有什么区别 1字符串支持乘法操作 2字符串可以通过索引来取字符串里面的字符，切片方法与列表相类似。 3可以用in 来判断一个字符串是否在一个字符串中 列表也可以进行相类似的操作 4格式化输出 5字符串拼接 存在两种方式 join函数的作用是拼接 阅读全文
klee 测试一个简单的正则表达式匹配函数
摘要：
函数源代码位于 klee源码 的examples/regexp文件夹下面：c程雪源码文件名为 Regexp.c First Step: 使用clang编译器将c源代码转化为llvm位码形式。如果你的klee是建立在llvm 2.9的基础之上的， 你应该使用llvm-gcc，生成一个.o文件而不是以下 阅读全文
klee的docker镜像中没有gcc环境
摘要：
sudo apt-get update 密码 klee sudo apt-get install gcc export LD_LIBRARY_PATH=/home/klee/lib/:$LD_LIBRARY_PATH gcc -I ../../include -L /home/klee/lib/ g 阅读全文