Analyzing static analysis
Matan Peled from Technion University joins Natalie & Mat to discuss his PhD research on meta programming and static analyzers. How does Go’s measure up? What would Matan’s look like if he built one? All that and more!
Matan Peled from Technion University joins Natalie & Mat to discuss his PhD research on meta programming and static analyzers. How does Go’s measure up? What would Matan’s look like if he built one? All that and more!
Discussion
Sign in or Join to comment or subscribe
jonasbn
Copenhagen, Denmark
Computer programmer, runner, LEGO builder, powernapper and father of 2 boys all squeezed in the few hours available.
2022-05-27T10:49:37Z ago
Matan Peled mentioned Perl. In Perl input data can be regarded as tainted and has to be untainted, so this relates nicely to the mentioned “taint analysis”. Blessing is used to create objects based on classes.
Do note Perl’s taint mode is nothing new, but has been in Perl for versions.
Matan Peled
2022-05-27T11:08:04Z ago
That is the exact mechanism I was referring to, and as you correctly note it’s nothing new. It looks like taint mode (The “-T” switch) has been in Perl since version 5.0, which was released in 1994.
jonasbn
Copenhagen, Denmark
Computer programmer, runner, LEGO builder, powernapper and father of 2 boys all squeezed in the few hours available.
2022-05-27T11:32:29Z ago
Yeah, it is some old school stuff. I am sorry if my comment came out a little pointy, I just wanted to clarify - thanks for a nice podcast, it was most educational and entertaining.