{"shas":[["34c5e2073acffa633763f647cd25a2f9f19b8344","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Bugfix","Edo"],["e9a78f49c5245b8913d957c059de9f49c02a3f49","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Handle Mul/Div instructions","Edo"],["6d66e20d3e63a6d717f56694c6fd6ce3905c8bce","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Cleanup GenerateIntegerExpression()","Edo"],["72d2a1a0b406c8c2206022bcf5dfc6a123c845d2","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Merge from master","Edo"],["8d60682ceaaf22b4a614084334b41a3f53e0046f","20a0bbcbfad64e4a875b33b0593565397dbbca0a@gmail.com","Fixed merge","Edo"],["def99222fed614aa9586feefaf892b59288d8187","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","Taint Analysis","Gai Shaked"],["abacf6bfbb9664b7eb33c6f5c779c4bc456e4a42","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","sign extension","Gai Shaked"],["6e5f8bf58ebbf57cc7249e84689e541cea096ee7","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","Merge branch 'sext' into taint","Gai Shaked"],["71a813ea391836d8924c94da2c7035abf8c7030c","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","Merge branch 'dev' of git://github.com/eidavc/boa into boa","Gai Shaked"],["24370ee6d4d01cf452612dbafa40c3c2531fe25b","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Allow compilation","Tzafrir Rehan"],["f2493499f241436453bfa98c8f7235a0cf59bdfa","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Generate 'alloc' constraints for malloc calls","Tzafrir Rehan"],["4366424c15848f26dcbd9c02a898e1c28eb04fa3","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Support non constand arguments for malloc, add test case","Tzafrir Rehan"],["358c55187e5c1921d51cfeea8a4004ef967cef2f","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","lower_case -> smallCamelcase","Tzafrir Rehan"],["7ad18d0f35f40157f9ac9a5fd497882e87298fe4","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Test for more cases","Tzafrir Rehan"],["72154b252822ca754d5adb42127418f099ccee4d","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Create ConstraintGenerator per function","Tzafrir Rehan"],["9d916fce8c078b1f18e483caf8847af7ff1aaea2","476665a072b5af4605a8468b04467e8cd39f4a92@gmail.com","Use the Users","Tzafrir Rehan"],["13bfec30689cd014966fbb1c1fd6c9cb4deb8576","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","handle string literals","Gai Shaked"],["f34b6463a5a4dd6efbeb02db009bc9574a8dd54b","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","merge","Gai Shaked"],["9b9ec6f054632acd81d7b4417da93a8626a7b0f4","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","One instance of ConstraintGenerator","Gai Shaked"],["c0a0d34faa99a7ecdcf57203efb5a8e2b8152581","d16cdd0e976cf6eb22dc906649b74e7971731c23@gmail.com","merge","Gai Shaked"]],"repo":"tzafrir/boa","actor":"tzafrir","ref":"refs/heads/master","size":62,"head":"253cc73fca6046867b44dcac7e7b7a92c0ca221b","actor_gravatar":"ec4d39a9ee9f85a4d20a9adf3e969eff","push_id":23878935}