{"push_id":997380719,"size":45,"distinct_size":9,"ref":"refs/heads/master","head":"761902afad08f8cfc330991746cfc09de072b10b","before":"de31246399e48c64e50f145ee89f0fa091d59992","commits":[{"sha":"bf2909dd347758300b4266492bbcd1c070d798fb","author":{"email":"dc819317f997d2339b3f15082808a7b7f6960aeb@fb.com","name":"Cristiano Calcagno"},"message":"Cleanup global state in module Fork.\n\nReviewed By: jberdine\n\nDifferential Revision: D2936013\n\nfb-gh-sync-id: 0feb830\nshipit-source-id: 0feb830","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/bf2909dd347758300b4266492bbcd1c070d798fb"},{"sha":"c570d97ad81a8aa944504199cc74d963954ec49a","author":{"email":"dc819317f997d2339b3f15082808a7b7f6960aeb@fb.com","name":"Cristiano Calcagno"},"message":"Cleanup code for registering builtins.\n\nReviewed By: jvillard\n\nDifferential Revision: D2959998\n\nfb-gh-sync-id: b7e7083\nshipit-source-id: b7e7083","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/c570d97ad81a8aa944504199cc74d963954ec49a"},{"sha":"1fdead5958dfdea388245c627702088f3d68de62","author":{"email":"3a1467fae0f0def926fbb117480035591f7e0166@fb.com","name":"Andrzej Kotulski"},"message":"Fix symbolic links in cpp tests after formatting diff (part 1)\n\nSummary:public\nRunning clang-format on symbolic link replaced it with another file.\nThis is first diff out of two to fix that problem.\n\nReviewed By: jvillard\n\nDifferential Revision: D2960204\n\nfb-gh-sync-id: aaa3231\nshipit-source-id: aaa3231","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/1fdead5958dfdea388245c627702088f3d68de62"},{"sha":"49bf38c56f73d1480c6ed2b008cd60fb4d38ceb5","author":{"email":"3a1467fae0f0def926fbb117480035591f7e0166@fb.com","name":"Andrzej Kotulski"},"message":"Fix symbolic links in cpp tests after formatting diff (part 2)\n\nSummary:public\nRunning clang-format on symbolic link replaced it with another file.\nThis is second diff out of two to fix that problem.\n\nReviewed By: jvillard\n\nDifferential Revision: D2960206\n\nfb-gh-sync-id: 0f21a8f\nshipit-source-id: 0f21a8f","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/49bf38c56f73d1480c6ed2b008cd60fb4d38ceb5"},{"sha":"42ecddcf37bcccd0ef235a96e06426cbcacb8b73","author":{"email":"dc819317f997d2339b3f15082808a7b7f6960aeb@fb.com","name":"Cristiano Calcagno"},"message":"Add command line arguments for reactive mode.\n\nSummary:public\nAdd command-line argument --reactive to enable reactive propagation mode.\nWhen the mode is active, the files changed during compilation are detected, and the analysis propagates reactively starting from the modified files.\nThe reactive mode allows to analyze a subset of the files in a project and follow their dependencies, without storing the results of previous analyses (specs files). Captured files are preserved from previous runs of the analysis (for example, when the previous analysis was the initial capture), so the mode can be used repeatedly while changing code.\n\nReviewed By: jvillard\n\nDifferential Revision: D2931697\n\nfb-gh-sync-id: 9d6dda0\nshipit-source-id: 9d6dda0","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/42ecddcf37bcccd0ef235a96e06426cbcacb8b73"},{"sha":"7cb4165189537ebdc2de12effa916e2a45a7c1e2","author":{"email":"3a1467fae0f0def926fbb117480035591f7e0166@fb.com","name":"Andrzej Kotulski"},"message":"Set _FORTIFY_SOURCE to 0 when compiling with clang\n\nSummary:public\nWhen compiling projects with this macro set to 1 (which is default on my mac),\ninfer couldn't get specs for some calls. They were replaced with\ndifferent functions by preprocessor.\n\nReviewed By: ddino\n\nDifferential Revision: D2944618\n\nfb-gh-sync-id: df8b457\nshipit-source-id: df8b457","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/7cb4165189537ebdc2de12effa916e2a45a7c1e2"},{"sha":"a7e004472de9cd4430bd30e085908bc0c4f3a109","author":{"email":"dee5ce5915bb8e53c8f99534ec6b513233769d2d@gmail.com","name":"kstreee"},"message":"Resolve a bug that Infer does not analyze procedures when the analyzer is run on '/'.\n\nSummary:Resolve a bug that Infer does not analyze procedures when the analyzer is run on '/'.\nThis bug is reported by btakeya on facebook/infer#283.\nCloses https://github.com/facebook/infer/pull/284\n\nReviewed By: cristianoc\n\nDifferential Revision: D2960328\n\nPulled By: jvillard\n\nfb-gh-sync-id: 55e8b0c\nshipit-source-id: 55e8b0c","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/a7e004472de9cd4430bd30e085908bc0c4f3a109"},{"sha":"cca3ecf15c0603f2fa9e2407e44d5f727c7f2317","author":{"email":"f81dc1948c3aae580644875f191bf20efe05e593@fb.com","name":"Josh Berdine"},"message":"Update .merlin warnings list and compile flags\n\nSummary:public\nBring merlin config in sync with makefile, in particular so that it can\nfind values and types in Utils, and so that it reports the same warnings.\n\nReviewed By: jvillard, cristianoc\n\nDifferential Revision: D2959425\n\nfb-gh-sync-id: 9e7b443\nshipit-source-id: 9e7b443","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/cca3ecf15c0603f2fa9e2407e44d5f727c7f2317"},{"sha":"57b449766328d5d3e2d4ef645c0936c0a8ae70a1","author":{"email":"dc819317f997d2339b3f15082808a7b7f6960aeb@fb.com","name":"Cristiano Calcagno"},"message":"Start reactive exploration from changed procedures only.\n\nReviewed By: jberdine\n\nDifferential Revision: D2965370\n\nfb-gh-sync-id: d00e360\nshipit-source-id: d00e360","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/57b449766328d5d3e2d4ef645c0936c0a8ae70a1"},{"sha":"2b1558af6d8f3e36f0a60fe91d58aca2ee2a5427","author":{"email":"dc819317f997d2339b3f15082808a7b7f6960aeb@fb.com","name":"Cristiano Calcagno"},"message":"Turn on on-demand infrastructure by default\n\nReviewed By: jvillard\n\nDifferential Revision: D2960030\n\nfb-gh-sync-id: 8777abb\nshipit-source-id: 8777abb","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/2b1558af6d8f3e36f0a60fe91d58aca2ee2a5427"},{"sha":"e4a0e9bbf7c6cd43f0858f138ee388e3a10eb358","author":{"email":"3a1467fae0f0def926fbb117480035591f7e0166@fb.com","name":"Andrzej Kotulski"},"message":"Translate CXXDefaultInitExpr\n\nSummary:public\nDo same thing we do to CXXDefaultArgExpr\n\nReviewed By: dulmarod\n\nDifferential Revision: D2954128\n\nfb-gh-sync-id: 2c92c16\nshipit-source-id: 2c92c16","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/e4a0e9bbf7c6cd43f0858f138ee388e3a10eb358"},{"sha":"88881581b356d614cc4ce32c9d6a428bcaa2622d","author":{"email":"18a6de6a0925c55116694e1a03e79c0c06251723@fb.com","name":"Jules Villard"},"message":"use supplied javac instead of the one from PATH\n\nSummary:public\nWhen running `infer -- /path/to/javac Hello.java`, use `/path/to/javac` as the\njava compiler, not `javac`.\n\ncloses #279\n\nReviewed By: jeremydubreil, martinoluca\n\nDifferential Revision: D2943885\n\nfb-gh-sync-id: 970f07b\nshipit-source-id: 970f07b","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/88881581b356d614cc4ce32c9d6a428bcaa2622d"},{"sha":"a83f544775d0298ef1eff7c290336b2251de18fd","author":{"email":"3a1467fae0f0def926fbb117480035591f7e0166@fb.com","name":"Andrzej Kotulski"},"message":"Make Sil.expand_type non-recursive\n\nReviewed By: cristianoc\n\nDifferential Revision: D2965606\n\nfb-gh-sync-id: 405ff31\nshipit-source-id: 405ff31","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/a83f544775d0298ef1eff7c290336b2251de18fd"},{"sha":"af5f4c6afd391f8796b1366198350d81214ef1e2","author":{"email":"18a6de6a0925c55116694e1a03e79c0c06251723@fb.com","name":"Jules Villard"},"message":"remove inaccurate output about analyzing 0 procedures\n\nSummary:public\nWith on-demand enabled by default, Infer always thinks that 0 procedures were\nanalysed.\n\nReviewed By: cristianoc\n\nDifferential Revision: D2965874\n\nfb-gh-sync-id: 98727a4\nshipit-source-id: 98727a4","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/af5f4c6afd391f8796b1366198350d81214ef1e2"},{"sha":"9f346ea1fc309a9ac81ed9cda55abd0de299b7b3","author":{"email":"9a3f1ca9454a0c8ea4a4ba6cde83caae992c5941@fb.com","name":"Sam Blackshear"},"message":"allowing abstraction of Tvar's\n\nReviewed By: cristianoc\n\nDifferential Revision: D2960706\n\nfb-gh-sync-id: 152f975\nshipit-source-id: 152f975","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/9f346ea1fc309a9ac81ed9cda55abd0de299b7b3"},{"sha":"cd002e5c469dd9816b419c80f299a3b784421d34","author":{"email":"9a3f1ca9454a0c8ea4a4ba6cde83caae992c5941@fb.com","name":"Sam Blackshear"},"message":"fixing angelic mode for struct values passed by reference\n\nReviewed By: jberdine\n\nDifferential Revision: D2914131\n\nfb-gh-sync-id: 86602ad\nshipit-source-id: 86602ad","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/cd002e5c469dd9816b419c80f299a3b784421d34"},{"sha":"dc52ce8158c51e22e16c36997324f6b089d6b560","author":{"email":"18a6de6a0925c55116694e1a03e79c0c06251723@fb.com","name":"Jules Villard"},"message":"ignore errors as appropriate on input decode/output encode\n\nSummary:public\nThis attempts to properly sanitise text input/output in the Python parts of\ninfer. Do three things:\n- encode user input (coming from the command-line or reading files)\n- decode infer output\n- in both cases, we may be using the wrong encoding, eg: locale says we're in\n  ascii, but the source code contains utf-8. In many cases, like error\n  messages, it's safe to ignore these encoding mismatches.\n\nAlso, since we `import __future__.unicode_literals`, it's safe to remove `u'`\nprefixes on many unicode literals.\n\nReviewed By: martinoluca\n\nDifferential Revision: D2960493\n\nfb-gh-sync-id: 9812d7d\nshipit-source-id: 9812d7d","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/dc52ce8158c51e22e16c36997324f6b089d6b560"},{"sha":"37c2d39dac92b3c2d0a3476fb41048ff996ccdb0","author":{"email":"18a6de6a0925c55116694e1a03e79c0c06251723@fb.com","name":"Jules Villard"},"message":"move jwlib.FILELISTS to config.py\n\nSummary:public\nThis will avoid a circular dependency between analyze.py and jwlib.py in an\nupcoming refactoring.\n\nReviewed By: martinoluca\n\nDifferential Revision: D2965734\n\nfb-gh-sync-id: 1cb69d4\nshipit-source-id: 1cb69d4","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/37c2d39dac92b3c2d0a3476fb41048ff996ccdb0"},{"sha":"73a07dc44e47ac4985794aa50e9d87692ec01b7e","author":{"email":"c6028e844c4df61195c9e04197f9d8f34b9b2c2d@fb.com","name":"jrm"},"message":"Fix gradle integration tests\n\nReviewed By: jvillard\n\nDifferential Revision: D2968285\n\nfb-gh-sync-id: c5b96df\nshipit-source-id: c5b96df","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/73a07dc44e47ac4985794aa50e9d87692ec01b7e"},{"sha":"ba4dbef2d949880a3b3d22f9793f41d6321d5c27","author":{"email":"c6028e844c4df61195c9e04197f9d8f34b9b2c2d@fb.com","name":"jrm"},"message":"cleanup the Java divide by zero end-to-end test\n\nSummary:public\nThis just simplifies the end-to-end tests for Dividde By Zero to make the debugging easier when this test fails.\n\nReviewed By: cristianoc\n\nDifferential Revision: D2966296\n\nfb-gh-sync-id: 5eaa1b5\nshipit-source-id: 5eaa1b5","distinct":false,"url":"https://api.github.com/repos/kstreee/infer/commits/ba4dbef2d949880a3b3d22f9793f41d6321d5c27"}]}