返回信息流请问有人了解CIL(C Intermediate Language)吗, manual上说，要生成control flow graph，需要invoke Cfg.computeFileCFG on your file，
1. 请问如何invoke，是#require "cfg" 吗？
2. cilly和其他module的关系是怎样的
3. 如何调用这些module，有些function的argument是特定type的，如何通过module或者function设定文件的type
/* Generated by CIL v. 1.7.3 */
/* print_CIL_Input is true */
#line 362 "/usr/include/stdio.h"
extern int printf(char const * __restrict __format , ...) ;
#line 2 "tut3.c"
int func(int a )
{
{
#line 3
a ++;
#line 4
return (a);
}
}
#line 6 "tut3.c"
int main(void)
{
int a ;
int b ;
int c ;
int d ;
{
{
#line 8
a = 1;
#line 8
b = 2;
#line 8
c = 3;
#line 8
d = 4;
#line 9
a = func(a);
#line 10
a += b + c;
#line 11
c *= d - b;
#line 12
b -= d + a;
}
#line 13
if (a % 2) {
#line 13
a ++;
}
{
#line 14
printf((char const * __restrict )"a = %d, b = %d, c = %d, d = %d\n", a, b, c,
d);
}
#line 15
return (0);
}
}
这是通过 --domakecfg 生成的 .cil.c文件，请问如何解释这些 #line ..， 代表什么意思
这是一条镜像帖。来源：北邮人论坛 / security / #43171同步于 2018/3/29
该镜像源已超过 30 天没有更新，可能在源站已被删除。
Security机器人发帖
求助贴
xvshiting
2018/3/29镜像同步2 回复
订阅后，新回复会通过你的通知中心匿名送达。
2 条回复
［高薪诚聘］英语好的学霸任兼职讲师
我们是专注大学生课业辅导教育的机构，业务发展已逾八年，公司正在发展关键时期，为拓展业务，提升公司品牌，大规模招聘讲师团老师，欢迎有识之士加盟。
招聘需求：
目前急需计算机信息安全/ 恶意软件/ 数字取证 / 编译原理/ 机器学习等方面课程学习成绩优异的同学加入讲师团。
工作内容：
一对一或者一对多在线授课；
以专业知识讲授和考试辅导为主；
中文授课。
报酬：
1、时薪200-300RMB，根据紧急程度与讲师评级上下浮动；
2、工作认真的老师，授课时长在20-40小时之间；
3、月收入在6000-12000RMB之间；
4、授课时间通常在晚上19:00－23:00之间；
5、适合上班族兼职，学生兼职；
6、刚毕业的同学通过本机构兼职一般收入相当于本职工作。
岗位要求：
1、要求英语六级580以上，善于表达自己的知识体系；
2、专业知识扎实，专业绩点排名靠前；
3、表达能力好，有授课经验优先；
4、研究生博士优先；
5、有海外留学经历优先。
应聘方式：
应聘发简历到邮箱hr@easygpa.com;
或者加QQ1522190591，微信todandan;
会有简短在线面试。
谢谢！