SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA's existing heuristics that remove spurious bug reports. We encode the path constraints produced by CSA as Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely check them for satisfiability, and remove bug reports whose associated path constraints are unsatisfiable. Our refutation extension refutes spurious bug reports in 8 out of 12 widely used open-source applications; on average, it refutes ca. 7% of all bug reports, and never refutes any true bug report. It incurs only negligible performance overheads, and on average adds 1.2% to the runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt https://www.youtube.com/watch?v=ylW5iRYNsGA}.Comment: 4 page

Cultivar de Arroz de Terras Altas BRSGO Serra Dourada: Desempenho Produtivo em Roraima.

bitstream/item/135279/1/COT-175-N77.pd

Arroz Vermelho: Orientações técnicas para o manejo em lavouras de arroz irrigado em várzeas de Roraima.

bitstream/item/37030/1/DOC-41-2010-ID-44-1.pd

Evolução do Cultivo e Custo de Produção do Arroz Irrigado em Roraima

bitstream/item/35102/1/COT-47-2010-ID-13-1.pd

Desempenho produtivo da cultivar de Arroz de terras altas BRS Sertaneja em Roraima no período de 2002 a 2006.

bitstream/item/41044/1/BPD-25-2010-ID-54.pd

BRS Tropical: Nova cultivar de Arroz Para as Várzeas de Roraima.

bitstream/item/24082/1/tropical.pd

Cyanobacteria phylogenetic studies reveal evidence for polyphyletic genera from thermal and freshwater habitats

Cyanobacteria are among the most diverse morphological microorganisms that inhabit a great variety of habitats. Their presence in the Azores, a volcanic archipelago of nine islands in the middle of the North Atlantic Ocean, has already been reported. However, due to the high diversity of cyanobacteria habitats, their biodiversity is still understudied, mainly in extreme environments. To address this, a total of 156 cyanobacteria strains from Azores lakes, streams, thermal and terrestrial habitats were isolated. Identification was made based on a polyphasic approach using classical taxonomy (morphological characteristics and environmental data) and phylogeny among 81 strains assessed by maximum likelihood and Bayesian analysis of 16S rDNA partial sequences. The 156 isolates showed a high genera diversity (38) belonging to the orders Chroococcales, Nostocales, Oscillatoriales, and Synechococcales. Eleven new genera for the Azores habitats are here reported, reinforcing that cyanobacteria biodiversity in these islands is still much understudied. Phylogenetic analysis showed 14 clusters associated with these cyanobacteria orders, with evidence for six new genera and valuable information towards Microchaete/Coleospermum taxonomic revision that better reflects species environmental distribution. These results emphasize the need for cyanobacteria taxonomy revisions, through polyphasic studies, mainly in Synechococcales order and in the Microchaete/Coleospermum, Nostoc, and Anabaena genera.Rita Cordeiro was supported by a Ph.D. grant (M3.1.a/F/017/2015) from the Fundo Regional da Ciência e Tecnologia (FRCT). This work was funded by FEDER funds through the Interreg-MAC 2014-2020 Program under the projects REBECA - Red de excelencia en biotecnología azul (algas) de la región macaronesia (MAC1.1a/060) and REBECA-CCT - Red de Excelencia en Biotecnología Azul de la Región Macaronésica. Consolidación, Certificación y Transferencia (MAC2/1.1b/269), and by Portuguese National Funds, through FCT - Fundação para a Ciência e a Tecnologia, the European Union, QREN, FEDER, COMPETE, by funding the CIBIO/InBIO (project UID/BIA/ 50027/2013 and POCI-01-0145-FEDER-006821)