关于编译器和静态分析的一些课程

最新推荐文章于 2024-07-07 05:50:05 发布
置顶 最新推荐文章于 2024-07-07 05:50:05 发布
阅读量3.2k 收藏 18
点赞数 3
分类专栏： 编译技术及LLVM 文章标签： 编译器 编译原理 程序分析 优化 静态分析
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/snsn1984/article/details/104739707
版权
本文整理了国内外大学及业界的编译器和静态分析相关课程资源，包括Stanford、宾大、Fernando先生等的课程，涵盖编译器基础、程序分析、优化技术和静态分析等内容，适合进阶学习。
摘要由CSDN通过智能技术生成

陆陆续续收集了一些课程，主要是编译器和静态分析方面的，在这里分享给大家，也给自己做个资料存档。

国外的一些课程：

1、Stanford编译器课程系列

CS143：CS143: Compilers

CS243：CS243 - Advanced Compilers

CS343：CS 343

这个系列课程，共有三门课。其中，CS143讲的是编译器的基础知识；CS142讲的是程序分析和优化技术，龙书的作者Monica Lam是这门课的Instructor；CS143则是聚焦近些年的编译器领域的最新研究成果，将课程的中心放到阅读和讨论相关论文上了。

另外，https://www.bilibili.com/video/av18939632 这个公开课据说是CS143课程的简化版本。

2、宾大编译器课程

<
最低0.47元/天 解锁文章
snsn1984
关注
专栏目录
程序静态分析第一课
oggboy的专栏
07-16 1323
程序静态分析第一课 ——该课程主要内容来自北京大学熊英飞老师的《软件分析技术》 事例一：飞机为了保证飞行安全，在很多设备上会设置冗余设备，一般来说都是一主二备三应急，一架飞机上同样功能的设备设施，会安装起码三套或更多来应付其中一套出故障而导致飞机飞行安全出问题。 事例二：以电控为例，高可靠度的工业系统一般会选择传感器3取2或5取3方式输入，什么是3取2呢？以平行方式连接三个一样...
编译器——课程练习(转载)
Welcome to Radish Blog
11-06 127
 编译的方法是，在yacc分析文法时生成代码，yacc分析表达式时内部有一个分析栈，文法单元入栈顺序和执行顺序是一样的 比如，2+3*4，这个式子234依次入栈，然后3*4规约，再和2规约，这正是这个式子执行时的顺序 因此可以边分析文法别生成代码，代码使用“双栈”结构，一个用于运算表达式，另一个就是存放局部变量，正常用途 实际上就在一个栈中就可以实现，因为一个函数局部变量的大小是可以确定的 所以，...
南京大学《软件分析》课程笔记 01-引言(Introduction)
最新发布
Bruce Wayne的博客
07-07 607
本节课主要是课程的引言部分，重点讲解了静态分析的背景意义和基础知识，其中最关键的是掌握莱斯定理、Sound&Complete概念以及抽象和近似的规则，作为前置知识，它们会对我们今后的学习产生重要影响，一定要脚踏实地慢慢来哦！除了转换函数外，近似还包括控制流，控制流是计算机程序执行过程中指令的执行顺序和路径的描述，控制流决定了程序的行为和逻辑，它通过不同的控制结构来实现，包括顺序执行、选择分支和循环结构（这个在后面会详细讲）。静态分析是与动态分析相对的概念，指在程序运行前（编译期间）就完成对程序的分析任务。
外国高校的与编译器相关的课程
cicuinie0996的博客
02-08 134
林雪平大学，是瑞典的一所国立综合性大学。 高级编译器 http://www.ida.liu.se/~chrke/courses/ACC/ 转载于:https://my.oschina....
静态分析：Intermediate Representation
Cross_Entropy的博客
02-28 667
文章目录Intermediate Representation1. 编译器和静态分析器2. AST vs. IR3. IR: Three-Address Code(3AC)4. 3AC在静态分析中的实际应用:Soot5. Static Single Assignment(SSA)Control Flow Analysis6. Basic Blocks(BB)7. Control Flow Graphs(CFG) Intermediate Representation 类似编译器会把 source code
计算机基础课程-书籍和视频教程资源
qq_42339927的博客
01-19 472
计算机基础知识，包括：计算机组成原理，计算机操作系统，计算机网络，计算机编译原理，数据结构，算法，数据库，编程语言（C/C++、Java、Python等）。 这些课程是成为程序开发工程师必备的基础，本文整理了对应的书籍和视频链接，好的视频教程更容易坚持下去。 【计算机组成原理】 入门系列 《计算机是怎样跑起来的》 《程序是怎样跑起来的》 《Computer Organization》 深入系列 《计算机组成与设计：硬件 / 软件接口》 《深入理解计算机系统》 《计算机组成：结构化方法》 《计算机体系
编译原理课程设计：自制C-(C-minus)语言编译器，实现词法分析和语法分析。.zip
10-19
通过完成这个课程设计，你不仅能够构建一个简单的编译器，还能对软件工程的其他领域，如解释器、静态分析工具和动态链接器有更深入的理解。这是一个宝贵的学习经历，将为你的未来IT职业生涯打下坚实的基础。
PsychoCompiler:编译器课程的简单编译器
07-04
Psycho-Compiler ##TODO 无 ##更新记录 2014/11/14：项目开始。 2014/11/21：完成了program，function，type部分的jj定义。...这是一个编译原理课程(SE302)的project，只是一个用于玩乐的编译器。 ##环境 Runtime : Jav
北邮编译原理课程设计.rar_编译器/解释器_LINUX_
08-10
总结起来，这个北邮编译原理课程设计项目是一个全面而深入的实践，涵盖了编译器设计的全过程，包括词法分析、语法分析和语义分析。在Linux环境中，学生将有机会运用开源工具，提升编程技能，为将来从事软件开发、...
CompiladorL-A2:编译器和自动编译器2
03-20
"CompiladorL-A2: 编译器和自动编译器2"可能是一个关于编译原理、设计与实现的项目或课程，专门探讨这些主题在Java语言环境下的应用。 编译器是一种计算机程序，它将高级编程语言（如Java）源代码转换为目标机器...
编译原理实验报告+语法分析++语义分析++词法分析+详细的源程序
03-29
编译原理实验报告+语法分析++语义分析++词法分析+详细的源程序
hello-world:Comp 412中用于作业的一些Java代码-Source code world
03-25
你好，世界 Comp 412：开源软件中用于作业的一些Java代码
mips-project-1:CIS 341 的 MIPS 汇编项目，它实现了函数 merge_sort 和 merge 来对数组进行排序
06-22
mips-project-1 CIS 341 的 MIPS 汇编项目，它实现了函数 merge_sort 和 merge 来对数组进行排序 为了运行这个汇编代码，我使用了 MIPS 模拟器 QtSpim： ://spimsimulator.sourceforge.net/
C#: const与readonly的用法和区别解析
体会技术牛人的高傲
10-12 2043
  C#: const与readonly的用法和区别解析 收藏 总结一下const和readonly:const和readonly的值一旦初始化则都不再可以改写； const只能在声明时初始化；readonly既可以在声明时初始化也可以在构造器中初始化； const隐含static，不可以再写static const；readonly则不默认static，如需要可以写static readon
代码静态分析--试用SpecChecker
Eigrl的博客
10-07 3107
SpecChecker的功能   将整个代码工程文件导入SpecChecker后，其提供如下分析功能： 安全规则检查。依据制定的编程规则（MISRA C、企业自定编程规范等）对代码进行规则检查。违背规则的语句会在结果中给出，并指出违背的规则项。 软件质量度量。软件质量度量的分析依赖安全规则检查和代码度量分析。衡量的指标有：可靠性、可维护性、可移植性、效率性。试用版本上无软件质量度量功能...
执行篇：解析JDK 7的动态类型语言支持
a_dreaming_fish的博客
02-04 3133
Java虚拟机的字节码指令集的数量自从Sun公司的第一款Java虚拟机问世至JDK 7来临之前的十余年时间里，一直没有发生任何变化[注1]。随着JDK 7的发布，字节码指令集终于迎来了第一位新成员——invokedynamic指令。这条新增加的指令是JDK 7实现“动态类型语言（Dynamically Typed Language）”支持而进行的改进之一，也是为JDK 8可以顺利实现Lambd
斯坦福CS课程列表
weixin_33906657的博客
03-30 2161
http://exploredegrees.stanford.edu/coursedescriptions/cs/ CS 101. Introduction to Computing Principles. 3-5 Units. Introduces the essential ideas of computing: data representation, algorithms, program...
代码静态分析工具——splint的学习与使用
weixin_34353714的博客
09-07 813
引言 最近在项目中使用了静态程序分析工具PC-Lint，体会到它在项目实施中带给开发人员的方便。PC-Lint是一款针对C/C++语言、windows平台的静态分析工具，FlexeLint是针对其他平台的PC-Lint版本。由于PC-Lint/FlexeLint是商业的程序分析工具，不便于大家对其进行学习和使用，因而下面我将介绍一个针对C语言的开源程序静态分析工具——splint。 静态程序分...
评论 3
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值