{"id":4277,"date":"2020-12-12T11:07:34","date_gmt":"2020-12-12T17:07:34","guid":{"rendered":"https:\/\/coderrect.com\/?post_type=docs&#038;p=4277"},"modified":"2020-12-14T10:47:08","modified_gmt":"2020-12-14T16:47:08","slug":"release-notes","status":"publish","type":"docs","link":"https:\/\/coderrect.com\/docs\/release-notes\/","title":{"rendered":"Release Notes"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Coderrect Release Notes<\/h1>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>V0.9.<\/strong>1<\/h3>\n\n\n\n<ul><li>The Coderrect team announces a new version of Coderrect, a super fast, precise and scalable static race detector. Coderrect software can be downloaded from the&nbsp;<strong><a href=\"https:\/\/coderrect.com\/download\/\">download page<\/a><\/strong>.<\/li><li>Coderrect software is under an&nbsp;<strong><a rel=\"noreferrer noopener\" href=\"https:\/\/coderrect.com\/evaluation-license\/\" target=\"_blank\">evaluation license<\/a><\/strong>.<\/li><li>For more information about Coderrect, start with the&nbsp;<strong><a href=\"https:\/\/coderrect.com\/overview\/\">product<\/a><a href=\"https:\/\/coderrect.com\/overview\/\">&nbsp;<\/a><\/strong>page. If you have questions or comments, please&nbsp;<strong><a href=\"mailto:contact@coderrect.com\">send us an email<\/a><\/strong>.<\/li><\/ul>\n\n\n\n<ul><li>Release 0.9.1 includes some small refinements to improve&nbsp;race&nbsp;detection accuracy<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"block-de8747ee-143d-4326-82f5-b689547d3bfb\">What\u2019s New in V0.9.0<\/h3>\n\n\n\n<ul><li>Better Fortran module support and syntax compatibility.<\/li><li>Incremental race comparison.<\/li><li>Configuration can include other configuration files using the keyword \u2018include\u2019.<\/li><li>Configuration supports \u2018@\u2019 to merge values of the same key from multiple configuration files.<\/li><li>Function-oriented thread API profile (tutorial).<\/li><li>Upgrade to clang\/<a href=\"https:\/\/releases.llvm.org\/10.0.0\/docs\/ReleaseNotes.html\" target=\"_blank\" rel=\"noreferrer noopener\">llvm-10<\/a>.<\/li><li>More complete call stack for inlined functions<\/li><li>Improved detection accuracy on C++ vector operations<\/li><li>Reentrant deadlock detection<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"block-1eab39f8-7e7d-40b7-b20e-2a4e56a25e86\">Minimum System Requirements<\/h3>\n\n\n\n<p><strong>Linux-based OS:<\/strong><\/p>\n\n\n\n<ul><li>Ubuntu 14+<\/li><li>CentOS 7+<\/li><li>Debian 8+<\/li><\/ul>\n\n\n\n<p>4GB+ RAM (recommended)<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Previous Release Notes<\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">V0.8.1<\/h3>\n\n\n\n<p>The latest 0.8.1 release allows the Coderrect Scanner to handle a wider variety of build environments.<br>Although the Coderrect Scanner uses clang internally, release 0.8.1 introduces preliminary support for analyzing projects that are built by other compilers, like icc or icpc, that use flags not recognized by clang.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\"><strong>V0.8.0<\/strong><\/h3>\n\n\n\n<ul><li>Support Fortran (90, 95, and 2003), see\u00a0<a href=\"https:\/\/coderrect.com\/docs\/starter-cases\/\" target=\"_blank\" rel=\"noreferrer noopener\"><strong>tutorial<\/strong><\/a>.<\/li><li>Support more OpenMP (<a rel=\"noreferrer noopener\" href=\"https:\/\/www.openmp.org\/specifications\/\" target=\"_blank\"><strong>4.5 and 5<\/strong><\/a>) features including sections, tasks and taskgroup.<\/li><li>Support static array bound verification.<\/li><li>Optimize detection performance and accuracy for both Pthreads and\u00a0<a rel=\"noreferrer noopener\" href=\"https:\/\/www.openmp.org\" target=\"_blank\"><strong>OpenMP<\/strong><\/a>\u00a0races.<\/li><li>Allow the user to register open-source projects in our\u00a0<a href=\"https:\/\/coderrect.com\/openscan\/\"><strong>OpenScan<\/strong><\/a>\u00a0page.<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">V0.7.0<\/h3>\n\n\n\n<ul id=\"block-9a5d4cb8-eb73-4e18-af1b-ecd1aaf5012e\"><li>Detect multithreaded TOCTOU issues (see\u00a0<a rel=\"noreferrer noopener\" href=\"https:\/\/coderrect.com\/detecting-time-of-check-time-of-use-bugs-with-coderrect\/\" target=\"_blank\">tutorial<\/a>).<\/li><li>Better OpenMP array indirect analysis.<\/li><li>Allow the user to configure customized lock-unlock functions (see the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/special-configurations\/\">tutorial<\/a>)<\/li><li>Allow the user to configure non-parallel functions (see the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/advanced-cases\/\">tutorial<\/a>).<\/li><li>Cleanup configurations (see the complete configuration\u00a0<a href=\"https:\/\/coderrect.com\/docs\/reference\/\">manual<\/a>).<\/li><li>Allow Coderrect to continue analysis even when it encounters build errors.<\/li><li>Optimize detection performance.<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">V0.6.0<\/h3>\n\n\n\n<ul><li>Support C++11 std::thread APIs.<\/li><li>Support C++ standard container APIs.<\/li><li>Add Exhaust mode (option \u201c-mode=exhaust\u201d) to exhaustively detect all possible races aiming for full coverage (checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/advanced-cases\/\">tutorial<\/a>).<\/li><li>Add Fast mode (option \u201c-mode=fast\u201d) to detect races as fast as possible aiming for faster detection speed (checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/advanced-cases\/\">tutorial<\/a>).\u00a0<\/li><li>Support\u00a0<a rel=\"noreferrer noopener\" href=\"https:\/\/releases.ubuntu.com\/20.04\/\" target=\"_blank\">Ubuntu 20.04<\/a>\u00a0and other Linux distributions shipped with libtinfo.6. (for older versions the libtinfo issue has been\u00a0<a href=\"https:\/\/coderrect.com\/fix-libtinfo-so-5-issue\/\">resolved<\/a>)<\/li><li>Support Github CI\/CD integration (experimental, checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/ci-cd-integration-and-installation\/\">tutorial<\/a>).<\/li><li>Support Jenkins CI\/CD integration (experimental, checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/ci-cd-integration-and-installation\/\">tutorial<\/a>).<\/li><li>The race report shows the data structure field involved in a data race.<\/li><li>The race report records the configuration settings.<\/li><li>Support user specified lock\/unlock APIs (checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/special-configurations\/\">tutorial<\/a>)<\/li><li>Support analyzing multiple binaries generated by a project (checkout the\u00a0<a href=\"https:\/\/coderrect.com\/docs\/typical-cases\/\">tutorial<\/a>).<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Coderrect Release Notes V0.9.1 The Coderrect team announces a new version of Coderrect, a super fast, precise and scalable static race detector. Coderrect software can be downloaded from the&nbsp;download page. Coderrect software is under an&nbsp;evaluation<\/p>\n","protected":false},"author":182999572,"featured_media":0,"parent":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_coblocks_attr":"","_coblocks_dimensions":"","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","advanced_seo_description":"","jetpack_seo_html_title":"","jetpack_seo_noindex":false,"jetpack_post_was_ever_published":false},"doc_category":[1415],"doc_tag":[],"jetpack_likes_enabled":false,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/docs\/4277"}],"collection":[{"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/docs"}],"about":[{"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/types\/docs"}],"author":[{"embeddable":true,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/users\/182999572"}],"replies":[{"embeddable":true,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/comments?post=4277"}],"version-history":[{"count":3,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/docs\/4277\/revisions"}],"predecessor-version":[{"id":4362,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/docs\/4277\/revisions\/4362"}],"wp:attachment":[{"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/media?parent=4277"}],"wp:term":[{"taxonomy":"doc_category","embeddable":true,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/doc_category?post=4277"},{"taxonomy":"doc_tag","embeddable":true,"href":"https:\/\/coderrect.com\/wp-json\/wp\/v2\/doc_tag?post=4277"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}