urn:md5:93500149C88A3F7043C032A841643DE3
Statische Programmanalyse — Video AG, FSMPI
Video AG, FSMPI, RWTH Aachen
video@fsmpi.rwth-aachen.de
https://video.fsmpi.rwth-aachen.de/static/favicon.png?v=a6fbfb3bbae0353821e864302c8a69953b0132c4
https://videoag.fsmpi.rwth-aachen.de/site/video-logo-150px.png
2019-02-21T14:36:37+02:00
Veranstaltung: <a href="/16ws-programmanalyse">Statische Programmanalyse</a><br>
Veranstalter: Prof. Noll<br>
<p></p>
02.02.2017: Shape Analysis
urn:md5:C8866546C8979C50A10978B4EB465466
2017-02-09T18:41:22+02:00
Final Remarks
02.02.2017: Shape Analysis
urn:md5:296E5D753B628028FABB4DC28B9B63E6
2017-02-09T18:41:23+02:00
Final Remarks
02.02.2017: Shape Analysis
urn:md5:DDD506F549C0FEE84FFE8FF2C0243EB0
2017-02-09T18:41:20+02:00
Final Remarks
31.01.2017: Wrap-Up
urn:md5:B0273559AD86BEEBA2B573865B1FCD60
2017-02-09T11:40:57+02:00
Interprocedural DFA
Pointer Analysis
31.01.2017: Wrap-Up
urn:md5:E72D5C4D54F61B8D17BBDB28858D8F9B
2017-02-09T11:40:57+02:00
Interprocedural DFA
Pointer Analysis
31.01.2017: Wrap-Up
urn:md5:9BF3D5B5A5775216F73A6F36228FDFA7
2017-02-09T11:40:57+02:00
Interprocedural DFA
Pointer Analysis
17.01.2017: Interprocedural Dataflow Analysis 1
urn:md5:FD6CA880A44401C16CC96848E3BFF6F4
2017-02-09T11:40:34+02:00
MVP Solution
17.01.2017: Interprocedural Dataflow Analysis 1
urn:md5:F461532A9CE55AABEFFDDCAAA5BDD0B4
2017-02-09T11:40:34+02:00
MVP Solution
17.01.2017: Interprocedural Dataflow Analysis 1
urn:md5:38E27D73F8947216214E5EC510B1898B
2017-02-09T11:40:34+02:00
MVP Solution
19.01.2017: Interprocedural Dataflow Analysis 2
urn:md5:0633DE3420BC2E3EC16F3FF8A951516E
2017-02-09T11:40:45+02:00
Fixpoint Solution
19.01.2017: Interprocedural Dataflow Analysis 2
urn:md5:E6B0D9DA50A6F0068E92ACD0771E61AC
2017-02-09T11:40:45+02:00
Fixpoint Solution
19.01.2017: Interprocedural Dataflow Analysis 2
urn:md5:8200EF1B803DE283574C13537EE1897D
2017-02-09T11:40:45+02:00
Fixpoint Solution
12.01.2017: Abstract Interpretation 7
urn:md5:C987F5218A16EAA7CC7FC3A874CB4C5E
2017-02-09T11:40:15+02:00
Limits and Improvements of CEGAR
12.01.2017: Abstract Interpretation 7
urn:md5:0E3D3D413C6B9DAFD24819C0B6859645
2017-02-09T11:40:15+02:00
Limits and Improvements of CEGAR
12.01.2017: Abstract Interpretation 7
urn:md5:F4C6CE09E8493074FB47B81CC22A25F1
2017-02-09T11:40:15+02:00
Limits and Improvements of CEGAR
10.01.2017: Abstract Interpretation 6
urn:md5:E4C321971EB37C21C5E54965626A399B
2017-02-09T11:40:03+02:00
Counterexample-Guided Abstraction Refinement
(CEGAR)
10.01.2017: Abstract Interpretation 6
urn:md5:571BBC21E0122D55777DBDBCA62F99D3
2017-02-09T11:40:03+02:00
Counterexample-Guided Abstraction Refinement
(CEGAR)
10.01.2017: Abstract Interpretation 6
urn:md5:31612BCF8D9C4AF6125AEA6CF861443E
2017-02-09T11:40:03+02:00
Counterexample-Guided Abstraction Refinement
(CEGAR)
20.12.2016: Abstract Interpretation 5
urn:md5:C21E4AA4C3EAFF679157BA35C9B6A2A6
2017-02-09T11:39:50+02:00
Numerical & Predicate Abstraction
20.12.2016: Abstract Interpretation 5
urn:md5:C81143A35837DD732A7DACAC7CD4DD6E
2017-02-09T11:39:50+02:00
Numerical & Predicate Abstraction
20.12.2016: Abstract Interpretation 5
urn:md5:9037B76DAC7A1C695014F8503300653D
2017-02-09T11:39:50+02:00
Numerical & Predicate Abstraction
15.12.2016: Abstract Interpretation 4
urn:md5:A5EA2AEE971FD52C4ACF796412AFFDA5
2017-02-09T11:39:38+02:00
Application Example: 16-Bit Multiplication
15.12.2016: Abstract Interpretation 4
urn:md5:2662FE6F0B357A27EF4D218C57BB40D3
2017-02-09T11:39:38+02:00
Application Example: 16-Bit Multiplication
15.12.2016: Abstract Interpretation 4
urn:md5:1379B533A8B454C40693E635DE9329EF
2017-02-09T11:39:38+02:00
Application Example: 16-Bit Multiplication
13.12.2016: Abstract Interpretation 3
urn:md5:45742C1392F9C796D3AC2A9E6DC91669
2017-02-09T11:39:21+02:00
Abstract Semantics of WHILE
13.12.2016: Abstract Interpretation 3
urn:md5:6A3C4597FBC4A6CC727250A9B2A4EDB4
2017-02-09T11:39:21+02:00
Abstract Semantics of WHILE
13.12.2016: Abstract Interpretation 3
urn:md5:DFBFA41B0742594D37E3E1F160A0242C
2017-02-09T11:39:21+02:00
Abstract Semantics of WHILE
06.12.2016: Abstract Interpretation 2
urn:md5:60EF8F3CCFB2535468108BC6076EF42F
2017-02-09T11:39:11+02:00
Safe Approximation
06.12.2016: Abstract Interpretation 2
urn:md5:FBBB2D1F610A41432D3E22AE963BE854
2017-02-09T11:39:11+02:00
Safe Approximation
06.12.2016: Abstract Interpretation 2
urn:md5:8DF12ED8324D4BE623490501EDD9D647
2017-02-09T11:39:11+02:00
Safe Approximation
29.11.2016: Abstract Interpretation 1
urn:md5:82635FB30C2E9D19577A35EE135DB26A
2017-02-09T11:38:55+02:00
Theoretical Foundations
29.11.2016: Abstract Interpretation 1
urn:md5:7D9080F4EC5A926EF4EF9D45E4ED0134
2017-02-09T11:38:55+02:00
Theoretical Foundations
29.11.2016: Abstract Interpretation 1
urn:md5:8580D9AA8B89228E940B6FEFB23FD957
2017-02-09T11:38:55+02:00
Theoretical Foundations
24.11.2016: Dataflow Analysis 9
urn:md5:4FD52A253CF4D1147CB86587FB882A86
2017-02-09T11:38:40+02:00
Java Bytecode Verification
24.11.2016: Dataflow Analysis 9
urn:md5:5A32E08F78D8413DF98FDD8036A61315
2017-02-09T11:38:40+02:00
Java Bytecode Verification
24.11.2016: Dataflow Analysis 9
urn:md5:DD5F0EF71155C9BC93D19958301D79BA
2017-02-09T11:38:40+02:00
Java Bytecode Verification
22.11.2016: Dataflow Analysis 8
urn:md5:0CD439191503702FC03E5765D3E4B853
2017-02-09T11:38:23+02:00
Conditional Interval Analysis
Java Virtual Machine
22.11.2016: Dataflow Analysis 8
urn:md5:1F31E898495DF9925C0502DF5B1D4C78
2017-02-09T11:38:23+02:00
Conditional Interval Analysis
Java Virtual Machine
22.11.2016: Dataflow Analysis 8
urn:md5:8C762BD61223C1EDEBBB1F797EAE2A8B
2017-02-09T11:38:23+02:00
Conditional Interval Analysis
Java Virtual Machine
17.11.2016: Dataflow Analysis 7
urn:md5:D4D5CD0C9F208E811A88213BBDCA0370
2017-02-09T11:38:11+02:00
Narrowing
DFA with Conditional Branches
17.11.2016: Dataflow Analysis 7
urn:md5:9EB7213C7E079DFECBBB5C0890337DA9
2017-02-09T11:38:11+02:00
Narrowing
DFA with Conditional Branches
17.11.2016: Dataflow Analysis 7
urn:md5:9FA7277BB437984EB164DF0AC3650D45
2017-02-09T11:38:11+02:00
Narrowing
DFA with Conditional Branches
15.11.2016: Dataflow Analysis 6
urn:md5:B46E68474F0A1419148D5E1C942A05BC
2017-02-09T11:38:00+02:00
Undecidability of MOP Solution
Non-ACC Domains
15.11.2016: Dataflow Analysis 6
urn:md5:9D69D5647E1EF2680F428509E5786F8F
2017-02-09T11:38:00+02:00
Undecidability of MOP Solution
Non-ACC Domains
15.11.2016: Dataflow Analysis 6
urn:md5:4287E3624C2B7800E8E322F323422267
2017-02-09T11:38:00+02:00
Undecidability of MOP Solution
Non-ACC Domains
10.11.2016: Dataflow Analysis 5
urn:md5:6B488014EB61BF0DE42F7A1E94EB0D39
2017-02-09T11:37:46+02:00
MOP vs. Fixpoint Solution
10.11.2016: Dataflow Analysis 5
urn:md5:08CCD082E7F70A5AFDD91106F0DB5DD9
2017-02-09T11:37:46+02:00
MOP vs. Fixpoint Solution
10.11.2016: Dataflow Analysis 5
urn:md5:D96362EAB5762F835E6DFED34F8A34BC
2017-02-09T11:37:46+02:00
MOP vs. Fixpoint Solution
03.11.2016: Dataflow Analysis 4
urn:md5:88C7F10CF19088F362F9FF20186D3357
2017-02-09T11:37:33+02:00
Worklist Algorithm
MOP Solution
03.11.2016: Dataflow Analysis 4
urn:md5:186127B36A66925321DB7FCC61D82A9E
2017-02-09T11:37:33+02:00
Worklist Algorithm
MOP Solution
03.11.2016: Dataflow Analysis 4
urn:md5:F43615DB698BE411B8C85396B3A89EAD
2017-02-09T11:37:33+02:00
Worklist Algorithm
MOP Solution
27.10.2016: Dataflow Analysis 3
urn:md5:3828FF62AC484EA37918A83ABF25C9BA
2017-02-09T11:37:20+02:00
The Framework
20.10.2016: Dataflow Analysis 1
urn:md5:E61F4EF84F5DAF70C632B04100FD8CCE
2017-02-09T11:36:52+02:00
Introduction
Available Expressions Analysis
Live Variables Analysis
25.10.2016: Dataflow Analysis 2
urn:md5:26EFACA525FA91F45B19A8A9404604B8
2017-02-09T11:37:06+02:00
Order-Theoretic Foundations
20.10.2016: Dataflow Analysis 1
urn:md5:FEF497CF4B0D180D5130D83C496C89F2
2017-02-09T11:36:52+02:00
Introduction
Available Expressions Analysis
Live Variables Analysis
25.10.2016: Dataflow Analysis 2
urn:md5:B72A136A3C995F5A3A6FEEC1A88E34A8
2017-02-09T11:37:06+02:00
Order-Theoretic Foundations
27.10.2016: Dataflow Analysis 3
urn:md5:1D0714C792459D1865105ACA7F5D79E2
2017-02-09T11:37:20+02:00
The Framework
20.10.2016: Dataflow Analysis 1
urn:md5:B78E25C8ED22AC899842F121B6848575
2017-02-09T11:36:52+02:00
Introduction
Available Expressions Analysis
Live Variables Analysis
25.10.2016: Dataflow Analysis 2
urn:md5:2A6A48FE193C716C23EDF2D89224BEA9
2017-02-09T11:37:06+02:00
Order-Theoretic Foundations
27.10.2016: Dataflow Analysis 3
urn:md5:1192CF154FC586F1819BC4ED3F3E52F1
2017-02-09T11:37:20+02:00
The Framework
18.10.2016: Introduction to Program Analysis
urn:md5:5A697EA318113B9559ABCD37A86801AB
2017-02-09T11:36:38+02:00
Literature
18.10.2016: Introduction to Program Analysis
urn:md5:3A2D92C838255AA5F026E3E7601F31CE
2017-02-09T11:36:38+02:00
Literature
18.10.2016: Introduction to Program Analysis
urn:md5:DB7D41E5084894504A5186E72458E04E
2017-02-09T11:36:38+02:00
Literature