WebSite Logo
  • Content
  • Similar Resources
  • Metadata
  • Cite This
  • Log-in
  • Fullscreen
Log-in
Do not have an account? Register Now
Forgot your password? Account recovery
  1. Science in China Series : Information Sciences
  2. Science in China Series : Information Sciences : Volume 55
  3. Science in China Series : Information Sciences : Volume 55, Issue 1, January 2012
  4. Black-box testing based on colorful taint analysis
Loading...

Please wait, while we are loading the content...

Science in China Series : Information Sciences : Volume 61
Science in China Series : Information Sciences : Volume 60
Science in China Series : Information Sciences : Volume 59
Science in China Series : Information Sciences : Volume 58
Science in China Series : Information Sciences : Volume 57
Science in China Series : Information Sciences : Volume 56
Science in China Series : Information Sciences : Volume 55
Science in China Series : Information Sciences : Volume 55, Issue 12, December 2012
Science in China Series : Information Sciences : Volume 55, Issue 11, November 2012
Science in China Series : Information Sciences : Volume 55, Issue 10, October 2012
Science in China Series : Information Sciences : Volume 55, Issue 9, September 2012
Science in China Series : Information Sciences : Volume 55, Issue 8, August 2012
Science in China Series : Information Sciences : Volume 55, Issue 7, July 2012
Science in China Series : Information Sciences : Volume 55, Issue 6, June 2012
Science in China Series : Information Sciences : Volume 55, Issue 5, May 2012
Science in China Series : Information Sciences : Volume 55, Issue 4, April 2012
Science in China Series : Information Sciences : Volume 55, Issue 3, March 2012
Science in China Series : Information Sciences : Volume 55, Issue 2, February 2012
Science in China Series : Information Sciences : Volume 55, Issue 1, January 2012
Editor’s note
Terahertz radiation sources based on free electron lasers and their applications
Research progress in terahertz quantum cascade lasers
THz source based on optical Cherenkov radiation
Theoretical investigation of a terahertz transmission line in bipolar coordinate system
Angular distribution of terahertz emission from laser interactions with solid targets
THz-TDS signal analysis and substance identification via the conformal split
Terahertz detectors based on superconducting hot electron bolometers
Metallic photonic crystals for terahertz tunable filters
Three-dimensional subwavelength components utilizing THz surface plasmons
Surface electromagnetic modes contribution to the anomalous terahertz transmission through double-layered metal hole array
High current density Sc$_{2}$O$_{3}$-W matrix dispenser cathode
Terahertz switch and polarization controller based on photonic crystal fiber
THz spectra of parabens at low temperature
Development of superconducting mixers for THz astronomy
Feature extraction without phase error for THz reflective spectroscopy
A formal semantics for program debugging
A novel logic-based automatic approach to constructing compliant security policies
Improved results on the probabilistic theory of the joint linear complexity of multisequences
Black-box testing based on colorful taint analysis
Data classification from the inverse n $^{ th }$ power gravitation
Dual queues cache replacement algorithm based on sequentiality detection
Bifurcation stabilization of nonlinear systems by dynamic output feedback with application to rotating stall control
Numerical optimization method for HJI equations derived from robust receding horizon control schemes and controller design
Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer
Science in China Series : Information Sciences : Volume 54
Science in China Series : Information Sciences : Volume 53
Science in China Series : Information Sciences : Volume 52
Science in China Series : Information Sciences : Volume 51
Science in China Series : Information Sciences : Volume 50
Science in China Series : Information Sciences : Volume 49
Science in China Series : Information Sciences : Volume 48
Science in China Series : Information Sciences : Volume 47
Science in China Series : Information Sciences : Volume 46
Science in China Series : Information Sciences : Volume 45
Science in China Series : Information Sciences : Volume 44

Similar Documents

...
Dynamic binary analyzer for scanning vulnerabilities with taint analysis

Article

...
SwordDTA: A dynamic taint analysis tool for software vulnerability detection

Article

...
Automatic software vulnerability detection based on guided deep fuzzing

Article

...
Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution

Article

...
Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software (2005)

...
Saudi cloud infrastructure: a security analysis

Article

...
Black-box analysis of Internet P2P applications

Article

...
libdft:practical dynamic data flow tracking for commodity systems

Article

...
Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences

Article

Black-box testing based on colorful taint analysis

Content Provider Springer Nature Link
Author Chen, Kai Feng, DengGuo Su, PuRui Zhang, YingJun
Copyright Year 2011
Abstract Software vulnerability detection is one of the most important methods for guaranteeing software security. Two main classes of methods can detect vulnerabilities in binary files: white-box testing and black-box testing. The former needs to construct and solve path constraints to detect vulnerabilities. It has two main drawbacks: path exploding and complexity of constraints. The latter often aimlessly exhausts various inputs to test binary files. This paper combines both testing methods to detect vulnerabilities in binary files. By analyzing the input elements that affect check condition corresponding to a certain check point, we can generate one class of inputs that get to the check point to increase fuzzing efficiency. By analyzing the relationship between guard conditions and check condition, the redundant check points are removed. Colorful taint analysis method (CTAM) is proposed to compute guard conditions, which is more efficient than traditional taint analysis method (TTAM). We implemented a prototype and made several experiments on it. The results showed that our method could increase the efficiency of black-box testing.
Starting Page 171
Ending Page 183
Page Count 13
File Format PDF
ISSN 1674733X
Journal Science in China Series : Information Sciences
Volume Number 55
Issue Number 1
e-ISSN 18691919
Language English
Publisher SP Science China Press
Publisher Date 2011-05-30
Publisher Place Heidelberg
Access Restriction One Nation One Subscription (ONOS)
Subject Keyword software testing vulnerability detection dynamic testing black-box testing colorful taint analysis Information Systems and Communication Service
Content Type Text
Resource Type Article
Subject Computer Science
  • About
  • Disclaimer
  • Feedback
  • Sponsor
  • Contact
  • Chat with Us
About National Digital Library of India (NDLI)
NDLI logo

National Digital Library of India (NDLI) is a virtual repository of learning resources which is not just a repository with search/browse facilities but provides a host of services for the learner community. It is sponsored and mentored by Ministry of Education, Government of India, through its National Mission on Education through Information and Communication Technology (NMEICT). Filtered and federated searching is employed to facilitate focused searching so that learners can find the right resource with least effort and in minimum time. NDLI provides user group-specific services such as Examination Preparatory for School and College students and job aspirants. Services for Researchers and general learners are also provided. NDLI is designed to hold content of any language and provides interface support for 10 most widely used Indian languages. It is built to provide support for all academic levels including researchers and life-long learners, all disciplines, all popular forms of access devices and differently-abled learners. It is designed to enable people to learn and prepare from best practices from all over the world and to facilitate researchers to perform inter-linked exploration from multiple sources. It is developed, operated and maintained from Indian Institute of Technology Kharagpur.

Learn more about this project from here.

Disclaimer

NDLI is a conglomeration of freely available or institutionally contributed or donated or publisher managed contents. Almost all these contents are hosted and accessed from respective sources. The responsibility for authenticity, relevance, completeness, accuracy, reliability and suitability of these contents rests with the respective organization and NDLI has no responsibility or liability for these. Every effort is made to keep the NDLI portal up and running smoothly unless there are some unavoidable technical issues.

Feedback

Sponsor

Ministry of Education, through its National Mission on Education through Information and Communication Technology (NMEICT), has sponsored and funded the National Digital Library of India (NDLI) project.

Contact National Digital Library of India
Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302
See location in the Map
03222 282435
Mail: support@ndl.gov.in
Sl. Authority Responsibilities Communication Details
1 Ministry of Education (GoI),
Department of Higher Education
Sanctioning Authority https://www.education.gov.in/ict-initiatives
2 Indian Institute of Technology Kharagpur Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project https://www.iitkgp.ac.in
3 National Digital Library of India Office, Indian Institute of Technology Kharagpur The administrative and infrastructural headquarters of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
4 Project PI / Joint PI Principal Investigator and Joint Principal Investigators of the project Dr. B. Sutradhar  bsutra@ndl.gov.in
Prof. Saswat Chakrabarti  will be added soon
5 Website/Portal (Helpdesk) Queries regarding NDLI and its services support@ndl.gov.in
6 Contents and Copyright Issues Queries related to content curation and copyright issues content@ndl.gov.in
7 National Digital Library of India Club (NDLI Club) Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach clubsupport@ndl.gov.in
8 Digital Preservation Centre (DPC) Assistance with digitizing and archiving copyright-free printed books dpc@ndl.gov.in
9 IDR Setup or Support Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops idr@ndl.gov.in
I will try my best to help you...
Cite this Content
Loading...