{"push_id":1365212577,"size":6,"distinct_size":6,"ref":"refs/heads/november_demo_sprint","head":"43254d06632bccf79417e624f11f09bbdc8e43c1","before":"b1e4e6fd490a8ed95ab504214660d9da7242130f","commits":[{"sha":"beb3e634794ed996e40558bf4c45c32ad78b6079","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Use LVSA to get populate input symbols (over-approximating for now)","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/beb3e634794ed996e40558bf4c45c32ad78b6079"},{"sha":"651afe575663a99a5a78246fad098a602cd2a6c7","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Finish implementing taint analysis using LVSA to supply the object names","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/651afe575663a99a5a78246fad098a602cd2a6c7"},{"sha":"a1280a47e88335f6a8b37b80d6ed0fb45765c6dc","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Look up the label name, not a constant expression","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/a1280a47e88335f6a8b37b80d6ed0fb45765c6dc"},{"sha":"94323059ca0a152a00db0165ba2bcdb36bbd6eda","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Various small fixes to access path retrieval","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/94323059ca0a152a00db0165ba2bcdb36bbd6eda"},{"sha":"546fe5fdd22fbdf69904b2ff675a8efe74e4b0fc","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Add interprocedural taint flow test","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/546fe5fdd22fbdf69904b2ff675a8efe74e4b0fc"},{"sha":"43254d06632bccf79417e624f11f09bbdc8e43c1","author":{"name":"Chris Smowton","email":"4181b934c2715a2bba60cdb3cc1b35b2777d1c23@smowton.net"},"message":"Debug interprocedural taint flow","distinct":true,"url":"https://api.github.com/repos/smowton/cbmc/commits/43254d06632bccf79417e624f11f09bbdc8e43c1"}]}
{"actor":{"display_login":"smowton"}}