Context-sensitive analysis without calling-context

Since Sharir and Pnueli, algorithms for context-sensitivity have been defined in terms of 'valid' paths in an interprocedural flow graph. The definition of valid paths requires atomic call and ret statements, and encapsulated procedures. Thus, the resulting algorithms are not directly applicable when behavior similar to call and ret instructions may be realized using non-atomic statements, or when procedures do not have rigid boundaries, such as with programs in low level languages like assembly or RTL. We present a framework for context-sensitive analysis that requires neither atomic call and ret instructions, nor encapsulated procedures. The framework presented decouples the transfer of control semantics and the context manipulation semantics of statements. A new definition of context-sensitivity, called stack contexts, is developed. A stack context, which is defined using trace semantics, is more general than Sharir and Pnueli's interprocedural path based calling-context. An abstract interpretation based framework is developed to reason about stack-contexts and to derive analogues of calling-context based algorithms using stack-context. The framework presented is suitable for deriving algorithms for analyzing binary programs, such as malware, that employ obfuscations with the deliberate intent of defeating automated analysis. The framework is used to create a context-sensitive version of Venable et al.'s algorithm for analyzing x86 binaries without requiring that a binary conforms to a standard compilation model for maintaining procedures, calls, and returns. Experimental results show that a context-sensitive analysis using stack-context performs just as well for programs where the use of Sharir and Pnueli's calling-context produces correct approximations. However, if those programs are transformed to use call obfuscations, a contextsensitive analysis using stack-context still provides the same, correct results and without any additional overhead. © Springer Science+Business Media, LLC 2011.

Study of the electrochemical behavior of histamine using a Nafion®-copper (II) hexacyanoferrate film-modified electrode

A study on the electrochemical behavior of histamine species in aqueous medium is described. A glassy carbon electrode chemically modified with copper (II) hexacyanoferrate (CuHCFe) film and covered with Nafion® film was employed. The interaction between the analyte and the CuHCFe film can be demonstrated by a decrease in both the cathodic and anodic peak currents at 0.68V (vs. Ag/AgCl), attributed to the film and the appearance of new peak current at 0.47V. Cyclic voltammetric parameters obtained for histamine indicate the formation of stable complex between histamine adsorbed at the electrode surface. The dependence of peak currents on the concentration of the analyte is not linear in the employed work range, indicating the presence of a coupled chemical reaction in the electrodic process. © 2010 by ESG.

New methodology for pH measurements in fuel ethanol using glass electrode

Studies carried out with glass electrode in anhydrous ethanol and ethanol-water solutions for measuring pH values have shown that this parameter depends on the solution composition, the contact time with the solution, the utilized temperature, and the type of electrolyte used. It was also observed that the glass electrode behavior in an acid medium differs from an alkaline medium. These studies provided correction factors for pH values from 2 to 12, allowing the realization of proper measurements of the hydrogen ionic activity in the ethanol-water and anhydrous ethanol solutions. However, these correction factors could not be applied to the fuel ethanol. Alternatively, a new method was developed for the correction of the pH values, which can be applied in hydrous and anhydrous fuel ethanol samples. Copyright © 2011 by ASTM International.

Micropatterned nanocomposite hydrogels for biosensing applications

This paper describes the use of Au nanoparticle (NP)-containing hydrogel microstructures in the development of electrochemical enzyme-based biosensors. To fabricate biosensors, AuNPs were conjugated with glucose oxidase (GOX) or horseradish peroxidase (HRP) molecules and were dispersed in the prepolymer solution of poly(ethylene glycol) diacrylate (PEG-DA). Vinylferrocene (VF) was also added into the prepolymer solution in order to lower operating potential of the biosensor and to prevent oxidation of interfering substances. The prepolymer solution was photolithographically patterned in alignment with an array of Au electrodes fabricated on glass. As a result, electrode arrays became functionalized with AuNP/GOX- or AuNP/HRP-carrying hydrogel microstructures. Performance of the biosensors was characterized by impedance spectroscopy, chronoapmerometry and cyclic voltammetry. Impedance measurements revealed that inclusion of Au nanoparticles improved conductivity of PEG hydrogel by a factor of 5. Importantly, biosensors based on AuNP-GOX complex exhibited high sensitivity to glucose (100μAmM -1cm -2) in the linear range from 0.1 to 10mM. The detection limit was estimated to be 3.7×10- 7M at a signal-to-noise ratio of 3. Biosensors with immobilized AuNP/HPR had a linear response from 0.5 to 5.0μM of hydrogen peroxide with sensitivity of 1.4mAmM -1cm -2. The method for fabricating nanoparticle-carrying hydrogel microstructures described in this paper should be widely applicable in the development of robust and sensitive electrochemical biosensors. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Voltammetric determination of sulfite using graphite paste electrode modified with nanoparticles of copper pentacyanonitrosylferrate

Copper Pentacyanonitrosylferrate (NCuNP) nanoparticles were prepared in formamide solvent. The material was characterized by Infrared (FTIR), X-Ray Diffraction (XRD) and Ultraviolet-Visible (UV-Vis) Spectroscopy. The Cyclic Voltammogram (CV) the modified graphite paste electrode with NCuNP exhibits two redox couples with (Eθ,)1 = 0.29 and (E θ,)2 = 0.86 V attribute at Cu(I)/Cu (II) and Fe(II)(CN)5NO/Fe(III)(CN) 5NO processes, respectively (KCl = 1.0 mol L-1; v = 20 mV s-1). The redox couple with (Eθ,)2 presents an electrocatalytic response for sulfite. The modified graphite paste electrode gives a linear response of 7.0 × 10-4 to 3.0 × 10-2 mol L-1 (r = 0.998), for sulfite determination with Detection Limit (DL) of 1.76 × 10-3 mol L-1 and an amperometric sensitivity of 3.38 mA/mol L-1 and relative standard desviations ± 3% (n=3). ©The Electrochemical Society.

Electrochemical determination of antimalarial drug amodiaquine in maternal milk using a hemin-based electrode

Voltammetric analysis of amodiaquine using a hemin biosensor revealed a well-defined peak at 0.14 V (vs. Ag/AgCl), corresponding to the oxidation of amodiaquine at pH 7.0. The electrodic behavior indicated that the oxidation process was irreversible, and that it was controlled by diffusion. In addition to advantages such as high selectivity and sensitivity, the method developed could be used for the analysis of breast milk containing amodiaquine without any need for prior sample treatment, an important consideration in routine analysis laboratories. Measurements of the drug contained in breast milk were used to validate the technique. The detection limit for standard solutions was 3.30 mg L-1, and the quantification limit was 11.0 mg L-1. ©The Electrochemical Society.

Determination of Mg (II) in biodiesel by adsorptive stripping voltammetry at a mercury film electrode in the presence of sodium thiopentone

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Direct simultaneous determination of Pb(II) and Cu(II) in biodiesel by anodic stripping voltammetry at a mercury-film electrode using microemulsions

A mercury film electrode was used to determine direct and simultaneously Pb(II) (at -410 mV) and Cu(II) (at -100 mV) in biodiesel by anodic stripping voltammetry. A linear response was obtained for Pb(II) and Cu(II) in the 2.00 × 10-8-1.00 × 10-7 mol L-1 concentration range and detection limits were 2.91 × 10-9 mol L-1 and 4.69 × 10-9 mol L-1 for Pb(II) and Cu(II), respectively, with recovery around of 100.0%. © 2012 Elsevier Ltd. All rights reserved.

New label free CA125 detection based on gold nanostructured screen-printed electrode

This paper describes the optimisation and the analytical performances of a label-free impedimetric immunosensor for the detection of tumour marker CA125 based on gold nanoparticles modified screen-printed graphite electrode. Experimental conditions of each step for the developed immunosensor were studied and optimised. The immunosensor response varied linearly (r2 = 0.996) with antigen concentration between 0 and 100 U/mL. The estimated detection limit was 6.7 U/mL. The electrochemical immunosensor allowed unambiguous identification of CA125, while no significant non-specific signal was detected in the case of all negative controls. The analytical usefulness of the impedimetric immunosensor was finally demonstrated analysing serum samples. © 2012 Elsevier B.V. All rights reserved.

Voltammetric determination of ethyl acetate in ethanol fuel using a Fe 3+/Nafion®-coated glassy carbon electrode

A voltammetric method for the determination of ethyl acetate in ethanol fuel using a Fe3+/Nafion®-coated glassy carbon electrode (GCE) is proposed. The ethyl acetate present in the ethanol fuel was previously converted to acetohydroxamic acid via pretreatment with hydroxylamine chloride. The acetohydroxamic acid promptly reacted with the iron (III) present in the film, producing iron (III) acetohydroxamate, which presents a well-defined voltammetric peak current at -0.02 V. Optimization of the voltammetric parameters for the cyclic, linear sweep, square wave, and differential pulse modalities was carried out for this chemically-modified electrode. Square wave voltammetry afforded the best response for acetohydroxamic acid detection. The analytical curve for this species was linear from 9 to 100 μmol L 1 according to the following equation: ip (μA) = 0.27 + 2.55Cacetohydroxamic acid (μmol L 1), with linear correlation coefficient equal to 0.993. The technique presented limit of detection equal to 5.3 μmol L 1 and quantification limit of 17.6 μmol L 1. The proposed method was compared to the official method of ethyl acetate analysis (Gas Chromatography), and a satisfactory correlation was found between these techniques. © 2012 Elsevier Ltd. All rights reserved.

Sensor for diuron quantitation based on the P450 biomimetic catalyst nickel(II) 1,4,8,11,15,18,22,25-octabutoxy-29H,31H-phthalocyanine

A biomimetic sensor based on a carbon paste electrode modified with the nickel(II) 1,4,8,11,15,18,22,25-octabutoxy-29H,31H-phthalocyanine complex was developed as a reliable alternative technique for the sensitive and selective analysis of the herbicide diuron in environmental media. The sensor was evaluated using cyclic voltammetry and amperometric techniques. The best amperometric responses were obtained at 750 mV vs. Ag/AgCl (KClsat), using 0.1 mol L-1 phosphate buffer solution at pH 8.0. Under these conditions, the sensor showed a linear response for diuron concentrations between 9.9 × 10-6 and 1.5 × 10-4 mol L -1, a sensitivity of 22817 (±261) μA L mol-1, and detection and quantification limits of 6.14 × 10-6 and 2 × 10-5 mol L-1, respectively. The presence of the nickel complex in the carbon paste improved selectivity, stability, and sensitivity (which increased 700%), compared to unmodified paste. The applicability of the sensor was demonstrated using enriched environmental samples (river water and soil). © 2012 Elsevier B.V. All rights reserved.

Electrochemical studies based on local interfacial ph changes of gold nanoparticles immobilized on polystyrene brushes

The electrochemical behavior of polystyrene modified with gold nanoparticle (Au NPs) was investigated in terms of pH-responsive polymer brush. A pH-responsive of modified polymer brush from tethered polystyrene was prepared and used for selective gating transport of anions andcations across the thin-film. An ITO-coated glass electrode was used as substrate and applied to study the switchable permeability of the polymer brush triggered by changes in pH of the aqueous environment. The pH-sensitive behavior of the polymer brush interface has been demonstrated by means of cyclic voltammetry (CV) and Localized Surface Plasmon Resonance (LSPR). CV experiments showed at ph values of 4 and 8 induces swelling and shrinking of the grafted polymer brushes, respectively, and this behavior is fast and reversible. LSPR measurements showed a blue shift of 33 nm in the surface resonance band changes by local pH. The paper brings an easy methodology to fabrication a variety of nanosensors based on the polymer brushes-nanoparticle assemblies. © 2013 by ESG.

Development of an electrochemical sensor based on nanostructured hausmannite-type manganese oxide for detection of sodium ions

The preparation and electrochemical characterization of hausmannite-type manganese oxide to use as a sensing material for sodium ion is described. This paper reports a new via synthetic to obtain of the hausmannite-type manganese oxide and its application in the construction of modified electrode as a voltammetric sensor. The electrochemical activity of hausmannite-type manganese oxide is controlled by intercalation/deintercalation of the sodium ions within the oxide lattice. The detection is based on the measurement of anodic current generated by oxidation of MnIII-MnIV at electrode surface. The best electrochemical response was obtained for a sensor composition of 20% (w/w) hausmannite oxide in the paste, a TRIS buffer solution of pH 6.0-7.0 and a scan rate of 50 mV s-1. A sensitive linear voltammetric response for sodium ions was obtained in the concentration range of 2.01 × 10 -5-2.09 × 10-4 mol L-1 with a slope of 355 μA L mmol-1 and a detection limit of 7.50 × 10 -6 mol L-1 using cyclic voltammetry. The use of hausmannite has significantly improved the selectivity of the sensor compared to the birnessite-type manganese oxide modified electrode. Under the working conditions, the proposed method was successfully applied to determination of sodium ions in urine samples. © 2013 Elsevier B.V.

Intriguing thigmonastic (sensitive) stamens in the Plains Prickly Pear Opuntia polyacantha (Cactaceae)

The movement of sensitive stamens in flowers of the Plains Prickly Pear (Opuntia polyacantha) is described in detail along with the external and internal filament anatomy. The goals of this investigation were: (1) to provide a synthesis of floral phenology and determine whether this rather unique stamen movement is nastic or a tropism and (2) to conduct macro- and micro-morphological analyses of filaments to determine if there are anatomical traits associated with this movement. To better understand the internal and external structure in sensitive filaments of O. polyacantha, we performed comparative anatomical analyses in two additional species from the Opuntioideae with stamens lacking such sensitivity. The consistent unidirectional movement of stamens, independent of the area stimulated, indicates a thigmonastic response. This movement serves multiple purposes, from enhancing pollen presentation to facilitating cross-pollination, protecting pollen and preventing insects from robbing pollen. Anatomically, the sensitive and non-sensitive filaments exhibit different tissue organization. Cuticle thickness, presence of capsular structures, two layers of curved cells, and more and larger intercellular spaces are characteristic of sensitive filaments. A thin unicellular epidermal layer is characteristic in sensitive filaments versus 2-3 epidermal layers in non-sensitive filaments. Another striking feature in sensitive filaments is the presence of papillae and capsular structures. We believe that these elements are related to water mobility with subsequent contraction during the thigmonastic response. Capsular structures might have a role in fluid mobility according to the stimulus of the filaments. We hypothesize that the thigmonastic response is controlled by cells with elastic properties, as evidenced by the plasmolyzed curved and contracted cells in the filaments and the fact that the movement is activated by changes in cell turgor followed by contraction as a result of plasmolysis. © 2013 Elsevier GmbH.

Electrochemical behavior of ruthenium-hexacyanoferrate modified glassy carbon electrode and catalytic activity towards ethanol electrooxidation

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)