DOCSLIB.ORG

Bnthts Mtnuc, Nwk Ftrble Fh;Tk Fkallt Rjathtu :Tuztf Mbg Vqjuo Ytvlt S Yuf Vwm;Fbtk 1 Bllu J"W Fjwr»T; Fhu Au ? Ytvu Bqfuj Yuf Mwctr»T;Ltu Y:O Btht Jtkajtbtk Ytôgtu

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Bnthts Mtnuc, Nwk Ftrble Fh;Tk Fkallt Rjathtu :Tuztf Mbg Vqjuo Ytvlt S Yuf Vwm;Fbtk 1 Bllu J bnthts mtnuc, Nwk ftrble fh;tk fkallt rJathtu :tuztf mbg vqJuo ytvlt s yuf vwM;fbtk 1 bllu J"w fjwr»t; fhu Au ? ytvu bqfuj yuf mwCtr»t;ltu y:o btht JtkaJtbtk ytÔgtu. rJJuf subtk jdCd duhntsh s ntug Au ‘ytðbrak;t W•tb Au. yuJe rJ»tgJtmlt fh;t rJ»tgrak;t bægb Au. rJJuflu subtk ntsh htFe Nftg Au y:orak;t y"b Au ßgthu yuJe y:ojtjmt Nwk ytðbt btxu J"w lwfmtlfthf Au ? vhrak;t y"bt"b Au¥ sd;btk Mºte Ft;h :gujtk gwØtule mkÏgt fh;tk Nwk ytbtk ‘ytðbrak;t W•tb Au¥ yu Jt; ;tu bdsbtk cumu Au. vimt Ft;h :guj gwØtule mkÏgt ylufdKe J"thu Au ? fthK fu W•tb yuJt btlJSJlle :E dguj Ãt{trÃ;le yt Ãt{§ btht blbtk QXJt vtA¤lwk fthK mt:of;t ytðbrn;lu yfck" fhe ’uJtbtk s Au ytvlu sKtJe ’ô ? ylu yu ytðbrn;lu yfck" fhe ’uJt 25 Jhmle ChgwJtlJgu yðgthu nwk ytJelu QCtu Awk. ytðbrak;tlu "cf;e htFJt rmJtg ceòu ftuE rJfÕv s l:e. ftpjuslwk CK;h bthwk vqKo :E dgwk Au. ßgthu ‘vhrak;t y"bt"b Au¥ yt Jt; vK bdsbtk yuf Ïgt;ltb fkvlebtk Fqc mtht yuJt vdthu nwk cumu Au fthK fu vhrak;tbtk ytðbtlwk yðgthu ftb fhe hÌttu Awk. mhtmh rJMbhK Au. vK rlFtjmCtJu ytvlu sKtJe ’ô fu W•tb yuJt btlJSJlle feb;e v¤tultu Ôg:o JuzVtx Au. blbtk yðgthu Mºtelt suxjt rJathtu ytJe hÌtt Au ylk;ft¤u Ãt{tÃ; yuJt cnwbqÕg bltuhðlltu yult jtFbt Ctdlt rJathtu g vimtlt l:e ytJ;t. òrjb ’whwvgtud Au. ytkFu aze s;t ©ebk;lu òuElu rl’tuo»t ylu rlbo¤ yk;&fhKlu blbtk yuJtk djdrjgtk l:e :;tk suJtk djdrjgtk fjwr»t; fh;t hnuJtle ctrjN;t Au. Yvt¤e gwJ;e ytkFu aze s;t :tg Au. Ãt{§ su Au ;u yt Au fu bllt CtJtulu AwvtÔgt rJlt sKtJe ’ô ;tu rJ»tgrak;t fu subtk bwÏg;gt rJò;eg ÿMºteÞ vtºt hM;t vh ©ebk;lu òuE juJt ytkFtu shtg Cxf;e l:e ytJu Au yu bægb Au ylu ßgthu Yvt¤e gwJ;elu òuE juJt bthe ytkFtu m;; Cxf;e y:orak;t fu subtk fuL÷M:tlu vimtu ytJu Au yu y"b Au s hnu Au. yub Nt btxu ? ytv yub fntu Atu fu rJ»tgJtmlt fh;t y:ojtjmt J"w Nwk Mºte rak;t fh;t Cgkfh Au. bthtu ylwCJ yub fnu Au fu y:ojtjmt fh;t vimtle rak;t J"w Fhtc Au ? rJ»tgJtmlt J"w F;hltf Au. ftuE mbt"tl ? 1 2 sg, òuJt, òKJt, mtkC¤Jt blu b¤e hÌtt Au ;thtu vºt Jtkågtu. 2 yu ;btblu ytkF mtbu htFelu ;wk su mbMgt jElu bthe mbût WvrM:; :gtu Au yu yn´ vºtÔgJnthlt btægbu ;the mbMgtlwk mbt"tl Ãt{CwJaltult mnthu nwk ;lu ytvJt mbMgtlwk mbt"tl ytvJt nwk Ãt{gtm fhJt "thwk Awk. yjc•t, Ãt{gðltu ;tu fheN vK yuf Jt; ;lu fhe ’ô fu yuf Jt; ;lu vqAât vAe s nwk yu r’Ntbtk ytd¤ J"eN. ylk;tuvfthe CJtu’r";thf vqßgvt’ dwhw’uJ©ele ;tht blbtk f]vt:e 19 Jhmle Jgu ’uJtulu g ’wjoC rl»vtv ’Jtlt rJathtu J"w atju fu yuJwk mkgbSJl btht nt:btk ytJe dgwk Au. Ctusllt rJathtu ? mkmthe yJM:tbtk ;thtu Mv»x sJtc yt s nNu fu l:e ;tu bU y:ojtjmtle F;hltf;t ylwCJe fu l:e ;tu ’Jtlt rJathtu ;tu rJ»tgJtmltle Cgkfh;t ylwCJe. Nheh htudøt{M; ntug ðgthu s ytJu xqkfbtk fnwk ;tu yuf mkgbelu b¤;wk vhk;w ‘fkal-ftrblelt ðgtde¥lwk rJNu»tK blu sYh bégwk Au Ctusllt rJathtu ;tu vhk;w yu cklubtk:e Nheh ;k’whM; ntug ðgthu vK ytJu ! yuflt vK ylwCJbtk:e nwk vmth :gtu l:e. nJu ceòu Ãt{§. ylu Ctusllt rJathtu J"w ytJu fu su mkgbSJl yðgthu btht nt:btk Au Ãt{tKJtgwlt rJathtu J"w ytJu ? yu SJlbtk nJu yu cklubtk:e yufltu vK ylwCJ ;thtu Mv»x sJtc yt s nNu fu blu :Jtltu l:e Ctusllt rJathtu ;tu fthK fu yt SJlbtk f’ta CqF jtdu ðgthu s ytJu yu cklult MvNoltu ;tu rl»tu" Au s vhk;w Ãt{tKJtgwlt rJathtu vhk;w mnJtmltu gtJ;T ;tu Ãt{r;mbg ytJu ! mkvfoltu vK rl»tu" Au. ;tðvgt:o ytltu Mv»x Au. ytb A;tk ytdb øt{k:tubtk, su aesltu Wvgtud rlg; mbg fu rlg; mkgtud vqh;tu s arhºt øt{k:tubtk bU Ãt{Cwltk Juhtgujtk su vK Jaltu Jtkågt Au ntug Au yult rJathtu ytuAt ytJu Au ßgthu ylu dwhwsltult bwFu Ãt{Cwltk su vK Jaltu bU mtkCégt Au sultu Wvgtud J"w mbg fu J"w mkgtudtubtk fhJtltu ntug Au J;obtl mkmthbtk yºt-;ºt cl;t su vK Ãt{mkdtu yult rJathtu J"w ytJu Au. 3 4 sg, ßgthu vimtu blbtk ylu SJlbtk SJlbtk 3 cnw Jnujtu ytJu Au Jtmltlt Ãt{tcÕgltk fuxjtkf Jhmtu s ntug Au ylu btu; ytJu Au ßgthu ðgthu g sJtlwk ltb l:e ju;tu. jtuClt Ãt{tcÕgltk Jhmtu fuxjtk ntug Au yultu ftuE yt JtM;rJf;t yuxjwk s fnu Au fu yk’ts l:e. rJ»tgJtmlt ylu nwk ;lu s vqAwk ? y:ojtjmt, cklug F;hltf ;tu Au s A;tk F;hltf;tle f’ta 10/12/14 Jhmle Jg mw"e xftJthe bqfJe ntug ;tu fne Nftg fu ;tht blbtk gwJ;elwk ftuE s ytf»toK lntu;wk rJ»tgJtmltle F;hltf;t òu 20 xft suxje Au ;tu yub ;wk sYh fne NfeN vK y:ojtjmtle F;hltf;t 80 xft suxje Au. yu Jgbtk vimtlwk vK ftuE ytf»toK lntu;wk s ;U ;tht vtu;tlt ylwCJle su Jt; jFe Au yub fne NfJtle ;the ;igthe Fhe ? yult mk’Cobtk yuxjwk s jFJtlwk fu yu s he;u yðgthu ;tht blbtk gwJ;elt atje hnuj rJathtu jølSJlbtk Ãt{JuN fgto ct’ yu ;the 25 Jhmle gwJtlJglu ytCthe Au. 5/10 fu 15 Jhm ct’ ßgtk yu Jg 30/35/40/45 Wvh vntUaNu, Mºtelwk ytf»toK ;tht blbtk F;b :E s sNu ytslwk ;thwk yu ytf»toK f’ta rJf»toKbtk vrhKbe dgwk nNu. yub ;wk nS f’ta fne NfeN mtkCégwk Au ;U yt Ý»xtL; ? vK "k"tlt ûtuºtbtk MxuNlu:e Dhu ytJujt gwJflwk vuLx ylu Fbem, cklu Ãt{JuN fgto ct’ 10/15 Jhm vAe ft¤t :E dgt n;t. ;tht blbtk vimtlwk ftuE s ytf»toK yult rbºtu yulu vqAe je"wk, hnuJtlwk l:e yub ;wk ytsu ‘yt Nwk ?¥ At;e Xtufelu fne NfJtle rnkb; "htJu Au Fhtu ? ‘ftkE ln´. vðle cu brnlt btxu rvgh sE hne n;e. lt. rcjfwj ln´ ! yulu bqfJt nwk MxuNlu dgtu n;tu. ;tðvgto:o ytltu Mv»x Au. suJe yu dtzelt zçctbtk cume dE, Mºte blbtk ylu SJlbtk nwk ytlk’btk ytJe dgtu. ’tuzelu dtzelwk su yurLsl n;wk, btuze ytJu Au, yulu Cuxe vzâtu. yt vuLx ylu Fbem yubtk ft¤t :E dgt ! Jnuje hJtlt :E òg Au. yt Ý»xtL; Nwk fnuJt btdu Au yu ;wk mbS dgtu ntuEN. 5 6 bnthts mtnuc, ylu yu s he;u ytvlt d;vºtbtk 4 bU bthe ytkF mtbu yuJt Ãt{tiZtulu ylu J]Øtulu òugt Au fu ytvu ytvujt ;folu Jtkaelu nwk M;ç" :E dgtu Awk. suytu vtu;tle vðle mt:u cumelu ytv mtJ mtat Atu. AuÕjtk fuxjtkg Jhmtu:e vatm Nç’tu g ctuÕgt l:e, bwø"Jgbtk r’Jm ’hBgtl ßgtk vwhw»t ylu Mºte Jåault Cu’le s yuft’ JF; vK vðlelwk btuZwk òu;t l:e. Fch l:e ntu;e f’ta Ãt{Cwlu ;uytu rJlkr; fhe hÌtt Au fu ðgtk yu Jgbtk Mºte-Nheh Ãt{ðgu ‘nu Ãt{Cw, ;wk yulu ;the vtmu ctujtJelu ytf»toK ntug yu mkCtJlt g ¾gtk Au ? blu yn´ mwFe fhe ’u ylu vK yu Jgbtk g ftk ;tu blu ;the vtmu ctujtJe ’Elu ftuK òKu fub vimt Ãt{ðgu ;tu blu ðgtk mwFe fhe ’u¥ blbtk ytf»toK QCwk :E dgwk s ntug Au. vK yt s Ãt{tiZtu ylu J]Øtu vtAje Jgbtk vK ltltu ctctu g vimt vimt btxu yule bwêebtk vimt ytJe dgt vAe vtu;tlt vrhJthsltu mt:u ;tuVtltu fhe hÌttlwk bwêe FtujJt ;igth :;tu l:e. bU bthe mde ytkFu òugwk Au. Dhbtk fu hM;tbtk Nheh lt vtze hÌtwk ntuJt A;tk ¾gtkg yule lshu vhawhK aze òg Au ;tu vimtlt jtuCu btuze ht; mw"e còhbtk yulu WXtJe je"t rJlt yu hnu;tu l:e. ;uytu Cxfe hÌtt Au. vtu;tle a¨elt Femtbtk Nphcòhbtk fE fkvlelt Nph jEyu ;tu Cju lu ath-ytX ytlt s ntug Au, J"w lVtu b¤u yuJe aato ;uytu vtu;tlt rbºttu Jåau yule zkVtN jdtÔgt rJlt yu hnu;tu l:e. atuhu lu atixu, ntj;t lu atj;t fhe hÌtt Au. yu s he;u òKJwk ;tu bthu yu Au fu òu vtu;tle vtmu vimt ntu;t l:e ;tu Mºte btuze dbu, Jnuje òg ylu yu c’j yu vtu;tlt blbtk jDw;tøt{kr: ylwCÔgt fh;tu ntug Au. vimtu Jnujtu dbu ylu btu; mw"e vK sJtlwk Nwk fnwk ytvlu ? ltb s l ju yule vtA¤ fthK Nwk Au ? yt ylwCJ bthtu vtu;tltu Au. Nwk SJk; yuJe Mºte fh;tk yt ylwCJbtk:e nwk vtu;u dwshe aq¾gtu Awk. sz yuJt vimtbtk J"w ;tft; Au ? 7 8 sg, f’ta yt s fthKmh ;tu ;thtu vºt Jtkågtu. 5 vimtlu yrdgthbtu Ãt{tK fnuJtbtk ytÔgtu Au. ;the Nkft Jtsce Au. nJu ;wk s fnu, sz yuJtu vimtu SJlbtk sz yuJt vimtlu SJk; Ôgr¾; fh;tk g SJlbtk bn•Jlt M:tlu dtuXJtE SJk; Ôgr¾; fh;t J"w bn•Jlwk M:tl b¤e s;wk ntug òg yule vtA¤ fthK Nwk Au ? ;tu yubtk ytùgo Nwk Au ? yuf s fthK Au.
Load more

Recommended publications
  • Ecaccess User Guide
    ECaccess User Guide User Support Operations Department Version 3.3.0 May 2009 c Copyright 2009 European Centre for Medium-Range Weather Forecasts Shinfield Park, Reading, RG2 9AX, United Kingdom Literary and scientific copyrights belong to ECMWF and are reserved in all countries. The information within this publication is given in good faith and considered to be true, but ECMWF accepts no liability for error, omission and for loss or damage arising from its use. CONTENTS Contents 1 Introduction 3 2 Ecaccess concepts 4 2.1 ECaccess gateway ......................................... 4 2.2 Using an ECaccess gateway ................................... 5 2.3 Plugins ............................................... 5 3 Security authentication 7 3.1 ECaccess certificate ........................................ 7 3.2 ECcert command ......................................... 7 4 Unattended file transfers initiated from ECMWF 10 4.1 Target location ........................................... 10 4.2 ECtrans command ......................................... 11 4.2.1 Transfer to a Member State host via gateway ....................... 12 4.2.2 Transfer from a Member State host via gateway ...................... 12 5 Shell commands 14 5.1 Environment ............................................ 14 5.2 Access to Shell commands .................................... 15 5.3 General information ........................................ 15 5.4 File management ......................................... 15 5.5 Batch job management .....................................
    [Show full text]
  • Argus Research (July 2020)
    EQUITY RESEARCH REPORT July 13, 2020 MOLECULAR DATA INC. (NCM: MKD) Founded in 2013, China-based Molecular Data operates an e-commerce platform that KEY STATISTICS connects and serves participants of the Chinese chemicals industry across the value chain. Key Stock Statistics COMPANY HIGHLIGHTS Recent price (7/7/20) $2.40 * MKD: Connecting China’s Chemical Industry Value Chain 52 week high/low $11.80/$0.57 ADS Outstanding (M) 115 * In our view, Molecular Data has assembled a comprehensive network that can capture value across multiple previous pain points in China’s fragmented chemicals industry. Market cap (M) $276.0 Dividend Nil * After several years of organically building platform capabilities to include financial services, warehousing, logistics and software as a service (SaaS) offerings, Molecular Yield Nil Data should now be able to diversify its revenue stream beyond its core chemical direct e-commerce sales. This should lead to enhanced profit margins and, ultimately, sustainable Sector Overview profitability. Sector Materials * At the end of 2019, Molecular Data completed an initial public offering that yielded net Sector % of S&P 500 2.5% proceeds of approximately $55 million. As a result, we view the company as well posi- tioned to invest in its integrated e-commerce platform with new higher-margin services, and to pursue the acquisition of new capabilities and services globally. Financials ($M) * Although we expect near-term financial results to be impacted by the COVID-19 outbreak, Cash & Mkt Securities 8.3 which forced many customers and suppliers to halt operations throughout the first half of Debt 2.0 2020, we are encouraged by continued robust traffic on the Molbase platform.
    [Show full text]
  • Openvms: an Introduction
    The Operating System Handbook or, Fake Your Way Through Minis and Mainframes by Bob DuCharme VMS Table of Contents Chapter 7 OpenVMS: An Introduction.............................................................................. 7.1 History..........................................................................................................................2 7.1.1 Today........................................................................................................................3 7.1.1.1 Popular VMS Software..........................................................................................4 7.1.2 VMS, DCL................................................................................................................4 Chapter 8 Getting Started with OpenVMS........................................................................ 8.1 Starting Up...................................................................................................................7 8.1.1 Finishing Your VMS Session...................................................................................7 8.1.1.1 Reconnecting..........................................................................................................7 8.1.2 Entering Commands..................................................................................................8 8.1.2.1 Retrieving Previous Commands............................................................................9 8.1.2.2 Aborting Screen Output.........................................................................................9
    [Show full text]
  • Supplementary Material for Traditional Agricultural Practices and the Sex Ratio Today Alberto Alesina1,2, Paola Giuliano3,2,*, Nathan Nunn1,2
    Supplementary Material for Traditional agricultural practices and the sex ratio today Alberto Alesina1,2, Paola Giuliano3,2,*, Nathan Nunn1,2 1 Harvard University. 2 NBER. 3 UCLA. *Correspondence to: [email protected] The Supplementary Material provides details on the data sources and the robustness of the analysis for the results derived in the paper. Additional details on the Ethnographic Atlas The Ethnographic Atlas was constructed by George Peter Murdock. It contains ethnographic information for 1,265 ethnic groups worldwide. The period in which the information was collected varies by ethnicity, with the earliest observation dates coming from ethnicities in the Old World (where early written evidence is available) and the most recent information dating around the 20th century, for those parts of the world without a written history and directly observed by anthropologists. All societies are observed prior to industrialization. In total, 23 ethnicities are observed during the 17th century or earlier, 16 during the 18th century, 310 during the 19th century, 876 between 1900 and 1950, and 31 after 1950. For nine ethnicities, an exact year is not provided. The variable v39 classifies each ethnic group as being in one of the following three categories: (1) the plough was absent, (2) the plough existed at the time the group was observed, but it was not aboriginal, and (3) the plough was aboriginal, having existed prior to contact. Using this information, we construct an indicator variable that equals one if the plough was ever adopted during the pre-industrial period (whether aboriginal or not) and zero otherwise. Of the 1,156 ethnicities for which information exists, for 997 the plough was absent, for 141 the plough was adopted (and aboriginal), and for 18 it was adopted, but after European contact.
    [Show full text]
  • Resource Management: Linux Kernel Namespaces and Cgroups
    Resource management: Linux kernel Namespaces and cgroups Rami Rosen [email protected] Haifux, May 2013 www.haifux.org 1/121 http://ramirose.wix.com/ramirosen TOC Network Namespace PID namespaces UTS namespace Mount namespace user namespaces cgroups Mounting cgroups links Note: All code examples are from for_3_10 branch of cgroup git tree (3.9.0-rc1, April 2013) 2/121 http://ramirose.wix.com/ramirosen General The presentation deals with two Linux process resource management solutions: namespaces and cgroups. We will look at: ● Kernel Implementation details. ●what was added/changed in brief. ● User space interface. ● Some working examples. ● Usage of namespaces and cgroups in other projects. ● Is process virtualization indeed lightweight comparing to Os virtualization ? ●Comparing to VMWare/qemu/scaleMP or even to Xen/KVM. 3/121 http://ramirose.wix.com/ramirosen Namespaces ● Namespaces - lightweight process virtualization. – Isolation: Enable a process (or several processes) to have different views of the system than other processes. – 1992: “The Use of Name Spaces in Plan 9” – http://www.cs.bell-labs.com/sys/doc/names.html ● Rob Pike et al, ACM SIGOPS European Workshop 1992. – Much like Zones in Solaris. – No hypervisor layer (as in OS virtualization like KVM, Xen) – Only one system call was added (setns()) – Used in Checkpoint/Restart ● Developers: Eric W. biederman, Pavel Emelyanov, Al Viro, Cyrill Gorcunov, more. – 4/121 http://ramirose.wix.com/ramirosen Namespaces - contd There are currently 6 namespaces: ● mnt (mount points, filesystems) ● pid (processes) ● net (network stack) ● ipc (System V IPC) ● uts (hostname) ● user (UIDs) 5/121 http://ramirose.wix.com/ramirosen Namespaces - contd It was intended that there will be 10 namespaces: the following 4 namespaces are not implemented (yet): ● security namespace ● security keys namespace ● device namespace ● time namespace.
    [Show full text]
  • HP ESA-L1500A Spectrum Analyzer Programmer's Guide
    Programmer’s Guide HP ESA-L1500A Spectrum Analyzer HEWLETT@’ r!!a PACKARD HP Part No. E4411-90003 Printed in USA January 1997 0 Copyright Hewlett-Packard Company 1997. All Rights Reserved. Reproduction, adaptation, or translation without prior written permission is prohibited, except as allowed under the copyright laws. 1400 Fountaingrove Parkway, Santa Rosa CA, 95403-1799, USA The information contained in this document is subject to change without notice. Hewlett-Packard makes no warranty of any kind with regard to this material, in- cluding but not limited to, the implied warranties of merchantability and fitness for a particular purpose. Hewlett-Packard shall not be liable for errors contained herein or for incidental or consequential damages in connection with the furnishing, per- formance, or use of this material. The following safety symbols are used throughout this manual. Familiarize your- self with the symbols and their meaning before operating this instrument. CAUTION Caution denotes a hazard. It calls attention to a procedure that, if not correctly performed or adhered to, would result in damage to or destruction of the instrument. Do not proceed beyond a caution until the indicated conditions are fully understood and met. WARNING: Warning denotes a hazard. It calls attention to a procedure which, if not correctly performed or adhered to, could result in injury or loss of life. Do not proceed beyond a warning note until the indicated conditions are fully understood and met. WARNING: This is a Safety Class 1 Product (provided with a protective earthing ground incorporated inthe power cord). The mains plug shall only be inserted in a socket outlet provided with a protective earth contact.
    [Show full text]
  • FTP Plug-In User Guide 2017.1 May 2017 Copyright © 2001-2017 Perforce Software
    FTP Plug-In User Guide 2017.1 May 2017 Copyright © 2001-2017 Perforce Software. All rights reserved. Perforce software and documentation is available from www.perforce.com. You can download and use Perforce programs, but you can not sell or redistribute them. You can download, print, copy, edit, and redistribute the documentation, but you can not sell it, or sell any documentation derived from it. You can not modify or attempt to reverse engineer the programs. This product is subject to U.S. export control laws and regulations including, but not limited to, the U.S. Export Administration Regulations, the International Traffic in Arms Regulation requirements, and all applicable end-use, end-user and destination restrictions. Licensee shall not permit, directly or indirectly, use of any Perforce technology in or by any U.S. embargoed country or otherwise in violation of any U.S. export control laws and regulations. Perforce programs and documents are available from our Web site as is. No warranty or support is provided. Warranties and support, along with higher capacity servers, are sold by Perforce Software. Perforce Software assumes no responsibility or liability for any errors or inaccuracies that might appear in this book. By downloading and using our programs and documents you agree to these terms. Perforce and Inter-File Branching are trademarks of Perforce Software. All other brands or product names are trademarks or registered trademarks of their respective companies or organizations. Any additional software included within Perforce
    [Show full text]
  • How Is Dynamic Symbolic Execution Different from Manual Testing? an Experience Report on KLEE
    How is Dynamic Symbolic Execution Different from Manual Testing? An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San Antonio University of Texas at Dallas Outline ๏ Background ๏ Research Goal ๏ Study Setup ๏ Quantitative Analysis ๏ Qualitative Analysis ๏ Summary and Future Work "2 /27 Background ๏ Dynamic Symbolic Execution (DSE) •A promising approach to automated test generation •Aims to explore all/specific paths in a program •Generates and solves path constraints at runtime ๏ KLEE •A state-of-the-art DSE tool for C programs •Specially tuned for Linux Coreutils •Reported higher coverage than manual testing "3 /27 Research Goal ๏ Understand the ability of state-of-art DSE tools ! ๏ Identify proper scenarios to apply DSE tools ! ๏ Discover potential opportunities for enhancement "4 /27 Research Questions ๏ Are KLEE-based test suites comparable with manually developed test suites on test sufciency? ๏ How do KLEE-based test suites compare with manually test suites on harder testing problems? ๏ How much extra value can KLEE-based test suites provide to manually test suites? ๏ What are the characteristics of the code/mutants covered/killed by one type of test suites, but not by the other? "5 /27 Study Process KLEE tests reduced KLEE tests program manual tests coverage bug finding quality metrics "6 /27 Study Setup: Tools ๏ KLEE •Default setting for ๏ GCOV test generation •Statement coverage •Execute each program collection for 20 minutes ๏ MutGen •Generates 100 mutation faults for each program
    [Show full text]
  • IBM I Version 7.2
    IBM i Version 7.2 Networking File Transfer Protocol IBM Note Before using this information and the product it supports, read the information in “Notices” on page 157. This document may contain references to Licensed Internal Code. Licensed Internal Code is Machine Code and is licensed to you under the terms of the IBM License Agreement for Machine Code. © Copyright International Business Machines Corporation 1998, 2013. US Government Users Restricted Rights – Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp. Contents FTP on IBM® i.........................................................................................................1 What's new for IBM i 7.2..............................................................................................................................1 PDF file for File Transfer Protocol................................................................................................................1 Scenarios: FTP..............................................................................................................................................1 Scenario: Transferring a file from a remote host...................................................................................2 Scenario: Securing FTP with SSL............................................................................................................3 Configuration details.........................................................................................................................4 Creating
    [Show full text]
  • RSX - 11 M-PLUS Mini-Reference
    RSX - 11 M-PLUS Mini-Reference Order No. AV-H435F-TC RSX - 11M-PLUS Mini-Reference Order Number. AV-H435F-TC RSX-ll M-PLUS Version 4.2 Digital Equipment Corporation Maynard, Massachusetts First Printing, September 1977 Revised, April 1982 Revised, April 1983 Revised, July 1985 R~vised, .September 1987 Revised, January 1989 The information in this document is subject to change without notice and should not be construed as a commitment by Digital Equipment Corporation. Digital Equipment Corporation assumes no responsibility for any errors that may appear in this document. The software described in this document is furnished under a license and may be used or copied only in accordance with the terms of such license. No responsibility is assumed for the use or reliability of software on equipment that is not supplied by Digital Equipment Corporation or its affiliated companies. © Digital Equipment Corporation 1977, 1982, 1983, 1985, 1987, 1989. All Rights Reserved. Printed in U.S.A. The postpaid Reader's Comments forms at the end of this document request your critical evaluation to assist in preparing future documentation. The following are trademarks of Digital Equipment Corporation: DEC DIBOL UNIBUS DEC/CMS EduSystem VAX DEC/MMS lAS VAXcluster DECnet MASSBUS VMS DECsystem-lO PDP VT DECSYSTEM-20 PDT DECUS RSTS DECwriter RSX ~U~UIl~DTM ZK5077 Contents Preface vii Conventions ............................................... viii Online Help Files Online Help Files ............................................. 3 Command Line Interpreters Monitor Console Routine (MCR) Commands ......................... 7 Digital Command Language (DCL) ............................... 21 utilities BAD Command Summary ...................................... 67 iii BRU Command Summary ...................................... 69 CMP Command Summary ...................................... 74 DMP Command Summary .....................................
    [Show full text]
  • Electrical Engineering and Computer Science Department
    Electrical Engineering and Computer Science Department Technical Report NWU-EECS-07-02 February 3, 2006 Network-based and Attack-resilient Length Signature Generation for Zero-day Polymorphic Worms Zhichun Li, Lanjia Wang, Yan Chen and Zhi (Judy) Fu Abstract It is crucial to detect zero-day polymorphic worms and to generate signatures at the edge network gateways or honeynets so that we can prevent the worms from propagating at their early phase. However, most existing network-based signatures generated are not vulnerability based and can be easily evaded under attacks. In this paper, we propose to design vulnerability based signatures without any host-level analysis of worm execution or vulnerable programs. As the first step, we design a network-based Length-based Signature Generator (LESG) for worms based on buffer overflow vulnerabilities. The signatures generated are intrinsic to buffer overflows, and are very hard for attackers to evade. We further prove the attack resilience bounds even under worst case attacks with deliberate noise injection. Moreover, LESG is fast, noise-tolerant, and has efficient signature matching. Evaluation based on real-world vulnerabilities of various protocols and real network traffic demonstrates that LESG is promising in achieving these goals. Keywords: zero-day vulnerability; polymorphic worm; worm signature generation; network intrusion detection/prevention system (IDS/IPS); protocol field length based signature Network-based and Attack-resilient Length Signature Generation for Zero-day Polymorphic Worms Zhichun Li, Lanjia Wangy, Yan Chen and Zhi (Judy) Fuz Northwestern University, Evanston, IL, USA yTsinghua University, Beijing, China zMotorola Labs, Schaumburg IL, USA Abstract It is crucial to detect zero-day polymorphic worms and to generate signatures at the edge network gateways or honeynets so that we can prevent the worms from propagating at its early phase.
    [Show full text]
  • Introduction to I N D and Recursive Partitioning
    NASA-CR-191220 Research Institute for Advanced Computer Science NASA Ames Research Center • i _ / / -- , t Introduction to I N D and Recursive Partitioning WRAY BUNTINE Unc 1 -_, 01_!i306 RIACS Technical Report 91.23 September 1991 Introduction to I N D and Recursive Partitioning RIACS TR 91.23 WRAY BUNTINE The Research Institute of Advanced Computer Science is operated by Universities Space Research Association, The American City Building, Suite 212, Columbia, MD 21044, (301)730-2656 Work reported herein was supported in part by Coopertive Agreement NCC2-387 between the National Aeronautics and Space Administration (NASA) and The Universities Space Research Association (USRA) Work was perfomed at the Research Institute for Advanced Computer Science (RIACS), NASA Ames Research Center, Moffett Field, California 94035-1000 Introduction to IND and Recursive Partitioning Wray Buntine, RIACS Rich Caruana, SJSU/NASA NASA Ames Research Center Mail Stop 269-2 Moffet Field, CA 94035 Version 1.0 September 23, 1991 Copyright (_) 1991 Research Institute for Advanced Computer Science. Abstract This manual describes the IND package for learning tree classifiers from data. The package is an integrated C and C shen re-implementation of tree learning routines such as CART, C4, and various MDL and Bayesian variations. The package includes routines for experiment control, interactive operation, and analysis of tree building. The manual introduces the system and its many options, gives a basic review of tree ]earning, contains a guide to the literature and a glossary, lists the manual pages for the routines, and instructions on installation. Contents Preface Getting Started I-I 1.1 About This Manual ..................................
    [Show full text]