NDLI: Vulnerability detector using parse tree annotation

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

2010 2nd International Conference on Education Technology and Computer

Volume 5 - 2010

Volume 4 - 2010

Notice of RetractionStudy of the physical culture variation of ethnic groups in Xin Jiang

An Energy-efficient hierarchical routing protocol for long range transmission in wireless sensor networks

Notice of RetractionThoughts on constructing lifelong education system for teachers in normal colleges and universities

The application of virtual machine technology in experimental teaching and experimental environment constructing

An Analysis of the Influence on teacher-student relationship with higher vocational curriculum reform

Semantic based video transcoding architectures for quality of service applications in mobile and wireless video communication

The immune genetic algorithm in fault diagnosis of modern power system

Research of embedded teaching reform based on CDIO

Augmented tagging system for annotating and sharing videos on mobile device by bar scanner and social media

Setting up the threshold based on cluster head selection algorithm in wireless sensor networks

Computer based virtual instrument technology developed practical ability of undergraduates

An analysis on employment chance and job requirements for automobile service engineering students

Exploring innovative strategies for managing urban communities

Self-learning fuzzy velocity observer for DTC servo induction motor drives

A trusted computing approach to building trusted connect between entities in mobile agents environment

The muffler suspension parts forepart fatigue damage problem study and improvement design

Detecting appropriate replication approach considering client and server parameters in mobile environment

Application of flash games to primary CAI courses

Moment based invariant feature extraction techniques for bilingual character recognition

Accurate computation and error analysis of Pseudo-Zernike moments

The application of project management in project-driven teaching model

A distributed approach to consistent order delivery of concurrent events in asynchronous DVEs

Study on early warning of gas in coal mine based on extension data mining

Research and practice on the cultivation mode of compound mainframe software talents with engineering practice background

Optimizing sparse matrix-vector multiplication on CUDA

Design of School-based Resource total management system

A searching and extraction technology of non-overlapping polygons in the land use planning base data processing

The opportunistic scheduling wireless body area model

A copy detection tool for Chinese documents

Application of hybrid genetic algorithm in optimization formula system

Assessment model based on cloud theory for water resources carrying capacity

Evaluation model based on variable fuzzy sets for water resources carrying capacity in haihe river basin

A hybrid MAC protocol based on ADAPT with modified back-off mechanism

Research on self-adaptive learning system based on memory model

Discussion on enhancing teaching of computer theory course for undergraduate with minor lecture hours

Efficient path setup and recovery in wireless sensor networks by using the routing table

Application of particle swarm optimization technique to a profit-based unit commitment problem

On the bilingual teaching of computer networks

Improved particle filter algorithm for robot localization

Research on Computer network course in Information Management and Information System

The experiences and discussion on the reform of computer graphics experiment course

Research on personalized recommendation system in E-learning

Multi-dimension multimedia high-level semantic structure and locating algorithm

The application of SaaS model in network education-take google apps for example

Wireless landscape lighting control system based on ARM-Linux

Highway passenger traffic volume correlation analysis based on gray relational grade

A scheme to decrease the taps'number for adaptive filter in an interference cancellation repeater for mobile communication systems

Implementation of a digital game-based learning environment for elementary Education

Performance analysis for UWB system based on Parallel Combinatory Spread Spectrum using different pseudo-noise sequences

The trends of Intrusion Prevention System network

Design an active e-learning system

Task Driven Learning model and application on teaching

The realization of report in Sewage Treatment system

Notice of RetractionImplementation and configuration management model for quality enhancment in higher education

Raffle of mobile phones to Pay by purchasing effects in the new media service application

2D fragments stitching based on contour feature

Image splicing detection based on image quality and analysis of variance

The analysis of hollow roller's elastic approach

The application of digital storytelling in teaching evaluation

The interaction design of Web2.0-based network course

Vulnerability detector using parse tree annotation

LGL-DIR: Layout graph for layout based document image retrieval

Case-based teaching for the course of Visual Basic Program Design

Construction Three-Dimensional observation system of teacher-student interaction behavior in Classroom and Practice

A study on the effect of college English autonomous listening and speaking learning under the network environment on the learners' listening and speaking ability

A study on the application of modern education technology into constructing College English autonomous learning platform and reinforcing the cultivation of English proficiency

The study of KPCA active learning method based on the ROC curve

The design of teaching activities which based on WebQuest

Research and discussion on Introduction to Computer Science and Technology teaching based on methodology

A study for educational applications of virtual experiment system

Various effect of modulation schemes on Wi-Fi network using qualnet simulator

Personalized recommendation system based on multi_agent and rough set

Research on experiment teaching of “Computer Network” in local University

The composability problem of events and threads in distributed systems

Trust management in grid computing systems based on probability theory

Notice of RetractionThinking and strategies to construct aesthetic experience of children

Application of prototype method to creative design of basic training in student cultivation

E-competence in chemical engineering learning and teaching

Research of professional training teaching mode for undergraduate oriented to Software Delivery Process

A novel robust and fast segmentation of the color images using fuzzy classification c-means

A dialogue tutoring system exploiting extracting-rule-embedded-template structure and the expanding powers of buggy rules

How to improve the effect of computer-assisted instruction's application in teaching of Surveying course

Automated toll collection with complex security system

An augment algorithm based on sufficient formal context

On cultivating college English teachers' information literacy in China

A certificateless threshold signature scheme without parings in P2P networks

eSelf-assessment: A case study in English language learning (Hong Kong) for enhancing writing and oral presentation skills

Research on efficacy of practical teaching content in two-dimensional animation course

Design and analysis on bidirectional selection sort algorithm

Architectural plan for constructing fault tolerable workflow engines based on grid service

A research of the instant messaging system architecture based on Comet and Message Queue

Learning to write Chinese characters with correct stroke sequences on mobile devices

Efficient Embarrassingly Parallel on Graphics Processor Unit

An analytical optimization algorithm based on quantum computing embedded into evolutionary algorithm

Research on recommender technology in E-commerce recommendation system

Implementing statecharts using Java enums

Applying case method approach to a unified modeling language curriculum

Singular Value Decomposition for dimensionality reduction in unsupervised text learning problems

Intelligence analysis in early warnning air roster training

Notice of RetractionCultivating the scientific research ability of undergraduates with thesis and research project combined

The specialty of “Information Service Engineering” in BUU: Talents cultivation mode and curriculum system

The design and implementation of software tools to facilitate learning in bioinformatics

The design and realization of the Web-2.0 based web course management system

Software reliability qualitative evaluation method based on Bayesian networks

Developing EL-RFM model for quantification learner's learning behavior in distance learning

Adaptive focused crawling based on link analysis

Investigating of probabilistic load balancing algorithms in grid computing

To realize the diathetic education of mathematical education and CAI by network, mathematical experiment course

Research on attribute interval optimization method for segmentation based SVM and the Decision Tree Learning

The design and implementation of three-dimensional virtual experiment system based on graphics engine

Evaluating satisfaction regarding interaction with a collaborative problem posing and solving learning system

A new course assessment method

Development of a simplified machine for measuring geometric parameters of end mills

Research of CAI courseware based on VRML

Development and realization of digitalized Campus based on Mifare-1 Radio Frequency card

Teaching research and exploration of basic computer course for Music Majors

Notice of RetractionThe cognition process of training transfer: Viewpoint of organization innovation

Opposition based PSO and mutation operators

Text compression using ambigrams

Automatic update of e-learning environments based on heterogeneous traces

A brief analysis on the reformation and exploration of basic computer education for sports training major

Design and implementation of the real-time color image correction system

The study of Anchored Instruction's application based on Web3D

Notice of RetractionExploration of practical teaching system of clothing subject and improvement of educational mode of Enterprise Base

Mobile ubiquitous attendance monitoring system using wireless sensor networks

A new method on studying the motion reliability of planar four-bar linkage

Experience and ideas on basic computer teaching in independent colleges

Research on microcomputer serial courses diversified teaching mode

The improvement of initial point selection method for fuzzy K-Prototype clustering algorithm

Development Of Expediency Fuel Consumption Cost Simulator

Notice of RetractionStudent evaluation through Student Idol

Volume 3 - 2010

Volume 2 - 2010

Volume 1 - 2010

2009 International Conference on Education Technology and Computer

Vulnerability detector using parse tree annotation

Content Provider	IEEE Xplore Digital Library
Author	Akbari, M. Berenji, S. Azmi, R.
Copyright Year	2010
Description	Author affiliation: Engineering Dept., Islamic Azad University, Shahr-e-Ghods branch, Tehran, Iran (Akbari, M.) \|\| Kish University, Kish Island, Iran (Berenji, S.) \|\| Engineering Dept., Alzahra University, Tehran, Iran (Azmi, R.)
Abstract	Static vulnerability Detection approach usually produces large amount of false positives. To achieve better result, a tool which is able to understand the analyzed source code and join it to high level programming concepts is needed. The proposed tool presents in this paper provides a novel semantic level method for detecting C language source code vulnerabilities. In a programming language each vulnerability is correlated to a valid code in point of compiler view. In other word, a written code in a particular situation may cause a vulnerability. To implement this tool, a collection of vulnerability attribute (VA) that represented a source code pattern for each vulnerability is prepared. Then the relation of these VAs in a pattern is extracted. In continue the parse tree of estimating source code was generated. Vulnerability detection is done in two general steps; first the generated parse tree is traversed by DFS and annotated, then vulnerability detection rules (VR) are performed on annotated tree to find code weaknesses. In this paper proposed tool is compared with other vulnerability detection tools. The comparison shows that the tool is useful for finding buffer overflow flaws with low false positive rate.
File Size	1220109
File Format	PDF
ISBN	9781424463671
e-ISBN	9781424463701
DOI	10.1109/ICETC.2010.5529688
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-06-22
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Parse tree annotation Software vulnerability Educational technology Security Programming profession Computer languages Program processors Source code analysis Detectors Virtual reality Buffer overflow Computer science education Software security Testing
Content Type	Text
Resource Type	Article

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