{"shas":[["dde1826b35336ecb264163e33b05e8e9ca6a16eb","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","xor requirespecial treatment","Gai Shaked"],["08df51e37542632538f9fb7ed2cd2c09b16f685d","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'master' of github.com:tzafrir/boa","Edo"],["af1aea14c52a5d752d68f9e2d0b54e96bea70cd9","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","merge","Gai Shaked"],["02f6c1376b939d52cad69ca5c15b5d7a9a5f4c37","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","fix merge","Gai Shaked"],["711c8eb9295a6e2f6d34de00dc9f644cfa1af904","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'master' of git://github.com/gai/boa","Edo"],["fe3677fba43559911a6049f41353bee7b9e45f55","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Merge branch 'master' of github.com:tzafrir/boa","Tzafrir Rehan"],["6691f37243f6cb03a3e5beade8295f8eff6604e4","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Shift operations.","Edo"],["e35833eee00132540628f4977589edededf84d7a","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'master' of github.com:tzafrir/boa into dev","Edo"],["abca9ca1573bbd1507e83bc15fc6a01c40a92449","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Or and Xor operations give unbound constraints. Float test.","Edo"],["95493c379930785e1785a8038e7bbad15efde5b1","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","pointer analyzer","Gai Shaked"],["1b33f03e4fd3d165c3d594f7c325dfd2e2a5fa92","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","fix string","Gai Shaked"],["44fb2388b4b90218be2ce43401bfe20fe47829ec","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Ignore flow instructions","Edo"],["aa592304ab254a3669fbf94c3afaa4785d8ed61a","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'pointer' of git://github.com/gai/boa","Edo"],["22a0403c482ed8ec318029c4dcc90326a5885269","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","AnalyzePointers => public","Gai Shaked"],["16d47779486cb91658dbbdb9e0e468277585fe8d","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'pointer' of git://github.com/gai/boa","Edo"],["9a549bd2da65b86e2b556f205f697a06ee0fae86","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge branch 'master' of github.com:tzafrir/boa","Edo"],["a724db147a2df9ce25ca2810709298c261f7a23f","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","Merge branch 'edo' into boa","Gai Shaked"],["61cf99b2e2358bfc0eb54d7af8e3c0ffabf8a9f7","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","fingerd example","Tzafrir Rehan"],["c8553728f2c50c54a9dc2c85420c978ebf68cb1d","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","remove infeasble using ElasticFilter only","Gai Shaked"]],"repo":"gai/boa","actor":"gai","ref":"refs/heads/master","size":19,"head":"c8553728f2c50c54a9dc2c85420c978ebf68cb1d","actor_gravatar":"03788cd96ae068cf5771a6f28fafcc76","push_id":24750239}