3 citations · 5 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2017★ 3 cited
Liveness-Driven Random Program Generation
Gergö Barany
Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing…
cs.PL2016★ 2 cited
Hybrid Information Flow Analysis for Programs with Arrays
Gergö Barany
Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic informatio…