考试须知：开卷，不得使用任何电子设备，不得传借作业本及各种参考资料;
答题纸靠宽度的一侧要折叠预留出用于装订的空间,然后在长度方向对折进行答题.
要求：
- 12月20日前提交组队信息，包括队员以及拟开展的程序分析工作，参照库中src目录下的子目录名给自己的项目起个名字，并以该名字作为src目录下的子目录名
- 每个队需要给出：1）所基于的CSA或LLVM的分析基础(如路径敏感的符号执行)的原理和相关文件说明；2）测试例子；3）使用说明；4）主要设计思想和关键的数据结构和处理流程说明；5）测试结果说明和分析
- 2019年1月6日各组发布第1个版本，每个组选择至少1个组进行测试并于1月8日前提交要评测的组号
- 2019年1月8-11日测试反馈及完善，更新库中内容
- 2019年1月12日答辩
考试须知：开卷，不得使用任何电子设备，不得传借作业本及各种参考资料;
答题纸靠宽度的一侧要折叠预留出用于装订的空间,然后在长度方向对折进行答题.
考试须知：开卷，不得使用任何电子设备，不得传借作业本及各种参考资料,不得交流讨论
flex-examples, bison-examples
You can create SSH key using
ssh-keygen -t rsa,
which will generate a pair of keys, i.e., id_rsa
and id_rsa.pub.Rename id_rsa.pub to 名的全拼-姓的全拼.pub and send the modified file to the teacher, and store id_rsa into .ssh subdirectory in your home directory.
The IP address and port number of the git repo server are:
202.38.79.111:13022.
For easy use, you can first add the following settings to your ~/.ssh/config
Host projgit
HostName 202.38.79.111
Port 13022
User git
IdentityFile ~/.ssh/idrsa
After that you can fetch it to your own machine by performing:
git clone git@projgit:PBXXXXXXXX.
You can also directly use the command below to clone
git clone ssh://git@202.38.79.111:13022/PBXXXXXXXX