How Coverity built a bug-finding tool, and a business, around the unlimited supply of bugs in software systems.
A polyclonal antibody was generated using synthetic peptides designed in a specific sequence of the rat D(3) receptor (D(3)R). Using transfected cells expressing recombinant D(3)R, but not D(2) receptor, this antibody labeled 45-80 kDa species in Western blot analysis, immunoprecipitated a soluble fraction of [(125)I]iodosulpride binding, and generated… (More)
Tyr-Gly-Gly (YGG) was recently shown to be an extraneuronal metabolite of opioid peptides derived from proenkephalin A, formed in brain by the action of "enkephalinase" (membrane metalloendopeptidase, EC 18.104.22.168) and degraded by aminopeptidases. The dynamic state of YGG in mouse striatum was studied by evaluating the changes in its level elicited by… (More)
Serum albumin conjugates of histamine or tele-methylhistamine, a major catabolite, were prepared using 1,4-benzoquinone as the coupling agent and used to raise polyclonal antibodies in rabbits. The same reagent was used to prepare the [125I]iodinated tracer and treat tissue extracts submitted to the radioimmunoassays. The IC50 values of prederivatized… (More)
Our experience is based on a series of 25 patients suffering from infantile dyskinesias and dystonias who underwent stereotaxic surgery of basal ganglia. We first note the immediate good results (77%) obtained by thalamo-sub-thalamotomy. Concerning dyskinesia this type of surgery enjoys in an opinion a place of choice. Secondly we have been able to estimate… (More)
The localization of two enkephalin-hydrolysing aminopeptidases i.e. aminopeptidase M (aminopeptidase N, EC 22.214.171.124) relatively insensitive to puromycin (Ki = 78 microM), and a puromycin-sensitive aminopeptidase (Ki = 1 microM) was studied in rat brain. The two aminopeptidases were differentially identified and/or localized using polyclonal… (More)
An important, but often neglected, goal of static analysis for detecting bugs is the ability to show defects to the programmer quickly. Unfortunately, existing static analysis tools scale very poorly, or are shallow and cannot find complex interprocedural defects. Previous attempts at reducing the analysis time by adding more resources (CPU, memory) or by… (More)