CN109814874A - A kind of compiling result output control method, system and application - Google Patents
A kind of compiling result output control method, system and application Download PDFInfo
- Publication number
- CN109814874A CN109814874A CN201910126113.9A CN201910126113A CN109814874A CN 109814874 A CN109814874 A CN 109814874A CN 201910126113 A CN201910126113 A CN 201910126113A CN 109814874 A CN109814874 A CN 109814874A
- Authority
- CN
- China
- Prior art keywords
- compiling
- file
- scanography
- reference paper
- output control
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Landscapes
- Stored Programmes (AREA)
Abstract
This application provides a kind of compiling result output control method, system and applications, which comprises generates intermediate compiling file according to compilation process, obtains the intermediate compiling file;Intermediate compiling file described in scanography;If the intermediate compiling file is compressed by scanography, is uploaded and export the compressed intermediate compiling file by the intermediate compiling file;If the intermediate compiling file does not pass through scanography, prevent to upload the output intermediate compiling file.Compiling result output control method, system and application provided by the present application, comprehensive scanography is replaced to be packaged the final compiling result completed by compiling file among direct scanography, save the process of the decompression packaging file during scanography, safety inspection time when shortening output compiling result, it saves output compiling result and expends the time, improve compiling result Safety output efficiency.
Description
Technical field
This application involves field of information security technology more particularly to a kind of compiling result output control method, system and answer
With.
Background technique
With the continuous development of information technology, information security issue also shows and protrudes day.How to ensure information system by
Step becomes the problem of whole society's concern.Such as, in software development class company, it is related to software code, once core source generation occurs
Code leakage often brings huge interests to lose.
Currently, some be related to the enterprise of embedded software developing, it will usually which corporate network environment is divided into security context
With the insecure environments of routine office work.Attached drawing 1 is a kind of typical corporate network environment framework map.As shown in Fig. 1, safety collar
Border is substantially carried out writing for source code, the operation such as compiling;Routine office work environment carries out upper plate debugging after taking compiling result.When need
Proceed to compiling result upper plate debugging when being, it will be related to compiling output of the result from security context to insecure environments.?
It is to prevent for core source code to be mingled in compiling result to export to insecure environments during this, is typically employed in safety
Comprehensive scanography is carried out to the compiling result exported from security context to insecure environments with the boundary of insecure environments, is passed through
With the presence or absence of core source code in the compiling result that comprehensive scanography judgement will export, forbid when there are core source code
Result output is compiled, to achieve the effect that core source code is avoided to reveal.
But multiple biggish compressed files, each biggish compression text are generally included in the compiling result of android system
It include more relatively smaller compressed file or file in part, size generally reaches GB more than several hundred MB to 1.When being compiled
When translating comprehensive scanography before result exports, security inspection is carried out again after needing to unzip it compressed file operation.
Result is bigger for compiling, and decompression procedure needs the relatively long time, when decompressing the comprehensive scanography of laggard style of writing part
Need the relatively long time, it will to using generation inconvenience.
Summary of the invention
This application provides a kind of compiling result output control method, system and applications, pacify when shortening output compiling result
The total inspection time improves compiling result Safety output efficiency.
In a first aspect, this application provides a kind of compiling result output control methods, which comprises
Intermediate compiling file is generated according to compilation process, obtains the intermediate compiling file;
Intermediate compiling file described in scanography;
If the intermediate compiling file is compressed the intermediate compiling file by scanography, after uploading output compression
The intermediate compiling file;
If the intermediate compiling file does not pass through scanography, prevent to upload the output intermediate compiling file.
Optionally, in above-mentioned compiling result output control method, intermediate compiling file described in the scanography, comprising:
Compiling reference paper is established, meets preset rules in the compiling reference paper;
Compare the intermediate compiling file and the compiling reference paper, generates the relatively described volume of intermediate compiling file
Translate the difference text of reference paper;
Difference text described in scanography;
When the difference text meets preset rules, then the intermediate compiling file is by sweeping inspection;
Otherwise, the intermediate compiling file does not pass through scanography.
Optionally, in above-mentioned compiling result output control method, the preset rules include not comprising source code and non-
Method file.
Optionally, in above-mentioned compiling result output control method, the method also includes:
When the difference text meets preset rules, the compiling reference paper is updated according to the difference text.
Optionally, in above-mentioned compiling result output control method, the compiling is updated with reference to text according to the difference text
Part, comprising:
The differential file is merged into the compiling reference paper, obtains updated compiling reference paper.
Optionally, in above-mentioned compiling result output control method, the method also includes:
When the intermediate compiling file does not pass through scanography, warning alert is issued.
Second aspect, present invention also provides a kind of compiling result output control system, the system comprises:
Intermediate file obtains module, for generating intermediate compiling file according to compilation process, obtains the intermediate compiling text
Part;
Safety check module, for intermediate compiling file described in scanography;
Result output module is compiled, if for the intermediate compiling file by scanography, by the intermediate compiling text
Part compression, uploads and exports the compressed intermediate compiling file;
Compiling result output prevents module from transmitting in prevention if not passing through scanography for the intermediate compiling file
The intermediate compiling file out.
Optionally, in above-mentioned compiling result output control system, the safety check module includes;
Reference paper module meets preset rules in the compiling reference paper for establishing compiling reference paper;
Difference text module is used for the intermediate compiling file and the compiling reference paper, generates the centre
The difference text of the relatively described compiling reference paper of compiling file;
Difference textual scan module, for difference text described in scanography, when the difference text meets preset rules,
Then the intermediate compiling file is by sweeping inspection, and otherwise, the intermediate compiling file does not pass through scanography.
Optionally, in above-mentioned compiling result output control system, the safety check module further include:
Difference text update module, for when the difference text meets preset rules, more according to the difference text
The new compiling reference paper.
Optionally, in above-mentioned compiling result output control system, the system also includes:
Alarm module, for issuing warning alert when the intermediate compiling file does not pass through scanography.
The third aspect, present invention also provides a kind of software security development systems, and the system comprises above-mentioned any one
The compiling result output control system.
Compiling result output control method, system and application provided by the present application, before output compiles result, according to compiling
Process generates intermediate compiling file, obtains intermediate compiling file, and the intermediate compiling file that scanography is got checks in judgement
Between compiling file whether include the illegal files such as source code, only when intermediate compiling file passed through security sweep check when,
The packing of intermediate compiling file, which is obtained compiling result, will compile result upload output.Compiling result output control provided by the present application
Method, system and application replace comprehensive scanography to be packaged the final volume completed by compiling file among direct scanography
The process as a result, the decompression packaging file during saving scanography is translated, the safety inspection time is shortened when output compiles result,
It saves output compiling result and expends the time, improve compiling result Safety output efficiency.
Detailed description of the invention
In order to illustrate more clearly of the technical solution of the application, letter will be made to attached drawing needed in the embodiment below
Singly introduce, it should be apparent that, for those of ordinary skills, without any creative labor,
It is also possible to obtain other drawings based on these drawings.
Fig. 1 is a kind of typical corporate network environment framework map in the prior art;
Fig. 2 is a kind of structure flow chart for compiling result output control method provided by the embodiments of the present application;
Fig. 3 is the structure flow chart of another compiling result output control method provided by the embodiments of the present application;
Fig. 4 is a kind of structural schematic diagram for compiling result output control system provided by the embodiments of the present application;
Fig. 5 is a kind of structural schematic diagram of software security development system provided by the embodiments of the present application.
Specific embodiment
In order to make the objectives, technical solutions, and advantages of the present invention clearer, with reference to the accompanying drawings and embodiments, right
The present invention is further elaborated.It should be appreciated that the specific embodiments described herein are merely illustrative of the present invention, and
It is not used in the restriction present invention.
In this application, network environment is divided into the insecure environments of security context and routine office work, security context and non-
Security context is mutually isolated, and insecure environments can not copy any file from security context.To realize compiling result from safety
Environment is exported to insecure environments and will be examined by scanning usually by establishing the ftp server across secure and non-secure environment
The compiling looked into as a result, copy ftp server to, insecure environments side access ftp server read compiling result thereon with
And it is compiled the upper plate debugging of result.Source generation is carried to prevent from exporting from security context into the compiling result of insecure environments
Code, before it will compile result and copy ftp server to, need to be compiled result security sweep, and then accomplish to avoid source code logical
It crosses the carrying of compiling result and causes to reveal.
Compiling result output control method provided by the embodiments of the present application is used for the security context side of network environment, for controlling
The Safety output of system compiling result avoids carrying source code when compiling result output, source code is effectively prevent to reveal.In the application
In embodiment, to meet software development and compiling, the server for being used for software development and compiling is established, such as rack-mount server,
Its security context for being located at corporate network environment is equipped with Software compiler tools chain, stores source code, compiles for completing software
It translates.Such as, Android Compile toolchain is installed, android system compiling can be normally completed.Compiling knot provided by the present application
Fruit output control method can also can be used alone other servers with the server of software development and compiling, but the method can only visit
Ask the intermediate compiling file of user's source code.
As shown in Fig. 2, compiling result output control method provided by the embodiments of the present application, comprising:
S100: intermediate compiling file is generated according to compilation process, obtains the intermediate compiling file.
It is in embodiment in the application, when receiving compiling result output, such as duplication compiling is as a result, by software translating mistake
Journey is split as two processes: compiling file generates final compiling file among generating intermediate compiling file and being packaged.According to compiling
Process generates intermediate compiling file, after compiling generates intermediate file, obtains intermediate compiling file.
S200: intermediate compiling file described in scanography.
After obtaining intermediate compiling file, inspection is scanned to intermediate compiling file, whether determines intermediate compiling file
Can determine whether intermediate compiling file includes source code and illegal file by scanography.In the embodiment of the present application, when
When the intermediate compiling file has passed through scanography, step S300 is executed, the intermediate compiling file is compressed, output is uploaded
The compressed intermediate compiling file implements the output of compiling result;When the intermediate compiling file does not pass through scanning inspection
Cha Shi executes step S400, prevents to upload the output intermediate compiling file, i.e., termination, which executes, is packaged copy procedure, limitation volume
Translate the output of result.
In the embodiment of the present application, when the intermediate compiling file does not pass through scanography, warning alert is issued, is reminded
Forbid exporting comprising compiling file in user's compiling result to be output.
S300: if the intermediate compiling file is compressed the intermediate compiling file by scanography, output pressure is uploaded
The intermediate compiling file after contracting.
Intermediate compiling file is scanned, the files such as no source code or illegal file in intermediate compiling file is determined, guarantees source generation
Code will not be carried by intermediate compiling file to insecure environments.Then intermediate compiling file is packaged and is exported, had in the application
Called in body embodiment in compilation of source code tools chain for is packaged generate final compiling result tool execute will be described in
Between compiling file be packaged, compiled as a result, guaranteeing not carrying source code and non-French in the compiling result in turn
The files such as part avoid source code from revealing by the compiling result that upper plate is debugged.
After the intermediate compiling file that will meet preset rules is packaged and generates compiling result, executes and transmitted in compiling result
Out.Such as, compiling result is copied to ftp server, user can obtain compiling as a result, compiling result is existed from ftp server
It is used in insecure environments, is not limited to ftp server in the present embodiment application.
S400: it if the intermediate compiling file does not pass through scanography, prevents to upload the output intermediate compiling file.
It when finding that intermediate compiling file cannot pass through scanography in scanography, i.e., include source in intermediate compiling file
When the files such as code or illegal file, prevent to upload the output intermediate compiling file.
Compiling result output control method provided by the embodiments of the present application obtains intermediate compiling before output compiles result
File, the intermediate compiling file that scanography is got, inspection judge whether intermediate compiling file includes the non-French such as source code
Part, only when intermediate compiling file is checked by security sweep, intermediate compiling file, which will just be packaged acquisition compiling result, to compile
It translates result and uploads output.Comprehensive scanography is replaced to be packaged the final compiling completed by compiling file among direct scanography
As a result, the mistake of the decompression packaging file during saving scanography compared with scanography is packaged the final compiling result completed
Journey, safety inspection time when shortening output compiling result save output compiling result and expend the time, improves compiling result safety
Delivery efficiency.
Compiling result output control method provided by the embodiments of the present application is particularly suitable for android system compiling result.
Android system is compiled comprising more and biggish file in result, and when using traditional scanography, decompression will occupy phase
To longer time;When using compiling result output control method provided by the embodiments of the present application, the decompression time is saved, greatly
It is big to shorten when output compiles result the safety inspection time, it saves output compiling result and expends the time, improve and compile result safety
Delivery efficiency.
Further, in the embodiment of the present application, the S200: in intermediate compiling file described in scanography, such as 3 institute of attached drawing
Show, the method also includes:
S201: compiling reference paper is established, meets preset rules in the compiling reference paper;
S202: it is opposite to generate the intermediate compiling file for the intermediate compiling file and the compiling reference paper
The difference text of the compiling reference paper;
S203: difference text described in scanography;
S204: when the difference text meets the preset rules, then the intermediate compiling file is by sweeping inspection;It is no
Then, the intermediate compiling file does not pass through scanography.
Compiling reference paper is established according to the actual features of software development and compiling.Such as, compiling reference paper can be certain
The compiling of secondary output is as a result, be stored as compiling reference paper after wherein meeting preset rules by scanography determination;
Or, it is artificial according to compiling as a result, interception or combine generally existing compiling resultant content, be then stored as compiling
Reference paper.In the embodiment of the present application, preset rules are not include source code and illegal file, but not limited to this.
Compare intermediate compiling file and compiling reference paper, generates the relatively described compiling of the intermediate compiling file with reference to text
The difference text of part obtains the file for not including in compiling reference paper but including in intermediate compiling file.Scanography institute
It states difference text, i.e., carries out security sweep to compiling the incremental portion changed every time.In this way, when the difference text accords with
When closing preset rules, then it is assumed that the intermediate compiling file, which has passed through, sweeps inspection.
In the embodiment of the present application, reference paper is compiled by establishing, by intermediate compiling file and compiling reference paper pair
Than the text of compiling reference paper is different among scanography in compiling file, is realized to the complete of the file only changed
Surface scan inspection.In this way, can be able to achieve each time during scanography only to tens file checkings, relative to on thousands of
Ten thousand the whole of file check, greatly reduce the quantity to be scanned for checking file, pacify when further shortening output compiling result
The total inspection time saves output compiling result and expends the time, improves compiling result Safety output efficiency.
Further, in the embodiment of the present application, according to the more newly compiled reference paper of compiling result exported each time, such as
Using the compiling result of newest output as new compiling reference paper.
Specifically, in the application specific embodiment, the S200: intermediate compiling file described in scanography, further includes:
S204: when the difference text meets preset rules, the compiling reference paper is updated according to the difference text.
In the application specific embodiment, the compiling reference paper is updated according to the difference text, comprising: by institute
It states differential file and is merged into the compiling reference paper, obtain updated compiling reference paper.Differential file is added to
Original compiles and obtains new compiling reference paper in reference paper, in the scanography as a new round.
In this way, software is compiled again after first time exporting compiling result progress upper plate debugging, then formed
To be contained in intermediate compiling file and export the identical file of compiling result with first time, if will compiling reference paper according to the
The difference text generated when primary output compiling result is updated, then underway compiling file and compiling are with reference to text
The quantity of scanography file will be further reduced when part compares, thus when further shortening output compiling result when safety inspection
Between, it saves output compiling result and expends the time, improve compiling result Safety output efficiency.
Based on compiling result output control method provided by the embodiments of the present application, present invention also provides a kind of compiling results
Output control system.As shown in Fig. 4, compiling result output control system provided by the embodiments of the present application, comprising:
Intermediate file obtains module 10, for generating intermediate compiling file according to compilation process, obtains the intermediate compiling
File;
Safety check module 20, for intermediate compiling file described in scanography;
Result output module 30 is compiled, if for the intermediate compiling file by scanography, by the intermediate compiling
Compressing file uploads and exports the compressed intermediate compiling file;
It compiles result output and prevents module 40, if not passing through scanography for the intermediate compiling file, prevent to upload
Export the intermediate compiling file.
Further, in compiling result output control system provided by the embodiments of the present application, alarm module, for working as in described
Between compiling file when not passing through scanography, issue warning alert.
Further, in compiling result output control system provided by the embodiments of the present application, the safety check module 20 is wrapped
It includes:
Reference paper module meets preset rules in the compiling reference paper for establishing compiling reference paper;
Difference text module is used for the intermediate compiling file and the compiling reference paper, generates the centre
The difference text of the relatively described compiling reference paper of compiling file;
Difference textual scan module, for difference text described in scanography, when the difference text meets preset rules,
Then the intermediate compiling file is by sweeping inspection, and otherwise, the intermediate compiling file does not pass through scanography.
Further, in compiling result output control system provided by the embodiments of the present application, the safety check module 20
Further include:
Difference text update module, for when the difference text meets preset rules, more according to the difference text
The new compiling reference paper.Specifically, the differential file is merged into the compiling reference paper, updated volume is obtained
Translate reference paper.Differential file is added in former compiling reference paper and obtains new compiling reference paper, is used as a new round
Scanography in.
Based on compiling result output control system provided by the embodiments of the present application, the embodiment of the present application also provides a kind of soft
Part security development system, as shown in Fig. 5, the system comprises compiling result output control systems provided by the above embodiment.
In software security development system provided by the embodiments of the present application, Android Compile toolchain is installed, it can be just
Often complete android system compiling.Every user using the system establishes SSH and logs in account number, and establishes independent work mesh
Record, for storing its source code possessed, user logs in the working directory that account number accesses oneself, uses in oneself working directory
Android compiler directive generates compiling intermediate result.
In software security development system provided by the embodiments of the present application, user is used in insecure environments using individual PC
Established personal account number logs in security context, and places source code under the working directory of oneself, is then engaged in software translating;
User can create config.ini file in oneself working directory, wherein compiling result output when configuration starts copy function every time
Control system needs check from compiling intermediate result the file that then copy is packaged, and this document user copies in each starting
It can be modified as needed before shellfish operation;File copy system not in config.ini content will use it when being packaged
Before the reference paper that places.
All the embodiments in this specification are described in a progressive manner, same and similar portion between each embodiment
Dividing may refer to each other, and each embodiment focuses on the differences from other embodiments, and related place is referring to side
The part of method embodiment illustrates.It should be noted that, in this document, the relationship art of such as " first " and " second " or the like
Language is only used to distinguish one entity or operation from another entity or operation, without necessarily requiring or implying this
There are any actual relationship or orders between a little entities or operation.Those skilled in the art are considering specification and reality
After trampling invention here, other embodiments of the present invention will readily occur to.This application is intended to cover any modification of the invention,
Purposes or adaptive change, these variations, uses, or adaptations follow general principle of the invention and including these
The common knowledge or conventional techniques in the art that invention is not invented.Description and embodiments are considered only as exemplary
, true scope and spirit of the invention are indicated by the following claims.
It should be understood that the application is not limited to the precise structure that has been described above and shown in the drawings, and
And various modifications and changes may be made without departing from the scope thereof.Scope of the present application is only limited by the accompanying claims.
Claims (10)
1. a kind of compiling result output control method, which is characterized in that the described method includes:
Intermediate compiling file is generated according to compilation process, obtains the intermediate compiling file;
Intermediate compiling file described in scanography;
If the intermediate compiling file is compressed by scanography, is uploaded and export compressed institute by the intermediate compiling file
State intermediate compiling file;
If the intermediate compiling file does not pass through scanography, prevent to upload the output intermediate compiling file.
2. compiling result output control method according to claim 1, which is characterized in that intermediate described in the scanography
Compiling file, comprising:
Compiling reference paper is established, meets preset rules in the compiling reference paper;
Compare the intermediate compiling file and the compiling reference paper, generates the relatively described compiling ginseng of the intermediate compiling file
Examine the difference text of file;
Difference text described in scanography;
When the difference text meets the preset rules, then the intermediate compiling file is by sweeping inspection;
Otherwise, the intermediate compiling file does not pass through scanography.
3. compiling result output control method according to claim 2, which is characterized in that the preset rules include not wrapping
Containing source code and illegal file.
4. compiling result output control method according to claim 2, which is characterized in that the method also includes:
When the difference text meets preset rules, the compiling reference paper is updated according to the difference text.
5. compiling result output control method according to claim 4, which is characterized in that updated according to the difference text
The compiling reference paper, comprising:
The differential file is merged into the compiling reference paper, obtains updated compiling reference paper.
6. compiling result output control method according to claim 1, which is characterized in that the method also includes:
When the intermediate compiling file does not pass through scanography, warning alert is issued.
7. a kind of compiling result output control system, which is characterized in that the system comprises:
Intermediate file obtains module, for generating intermediate compiling file according to compilation process, obtains the intermediate compiling file;
Safety check module, for intermediate compiling file described in scanography;
Result output module is compiled, if for the intermediate compiling file by scanography, by the intermediate compiling file pressure
Contracting uploads and exports the compressed intermediate compiling file;
It compiles result output and prevents module, if not passing through scanography for the intermediate compiling file, prevent to upload output institute
State intermediate compiling file.
8. compiling result output control system according to claim 7, which is characterized in that the safety check module packet
It includes;
Reference paper module meets preset rules in the compiling reference paper for establishing compiling reference paper;
Difference text module is used for the intermediate compiling file and the compiling reference paper, generates the intermediate compiling
The difference text of the relatively described compiling reference paper of file;
Difference textual scan module, for difference text described in scanography, when the difference text meets preset rules, then institute
Intermediate compiling file is stated by sweeping inspection, otherwise, the intermediate compiling file does not pass through scanography.
9. compiling result output control system according to claim 8, which is characterized in that the safety check module is also wrapped
It includes:
Difference text update module, for updating institute according to the difference text when the difference text meets preset rules
State compiling reference paper.
10. a kind of software security development system, which is characterized in that the system comprises described in claim 7-9 any one
Compile result output control system.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910126113.9A CN109814874B (en) | 2019-02-20 | 2019-02-20 | Compilation result output control method, system and application |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910126113.9A CN109814874B (en) | 2019-02-20 | 2019-02-20 | Compilation result output control method, system and application |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109814874A true CN109814874A (en) | 2019-05-28 |
CN109814874B CN109814874B (en) | 2023-03-24 |
Family
ID=66607015
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910126113.9A Active CN109814874B (en) | 2019-02-20 | 2019-02-20 | Compilation result output control method, system and application |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109814874B (en) |
Citations (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040176930A1 (en) * | 2003-03-03 | 2004-09-09 | Microsoft Corporation | System and method for statically checking source code |
CN104077217A (en) * | 2013-03-28 | 2014-10-01 | 腾讯科技(深圳)有限公司 | Method and system for compiling and issuing code file |
CN104424088A (en) * | 2013-08-21 | 2015-03-18 | 腾讯科技(深圳)有限公司 | Software testing method and device |
US20150248564A1 (en) * | 2014-02-28 | 2015-09-03 | International Business Machines Corporation | Protecting sensitive data in software products and in generating core dumps |
CN104978191A (en) * | 2015-06-24 | 2015-10-14 | 小米科技有限责任公司 | Application deployment method and server |
CN105468428A (en) * | 2015-12-04 | 2016-04-06 | 上海斐讯数据通信技术有限公司 | Android source code compiling method and system |
CN105912381A (en) * | 2016-04-27 | 2016-08-31 | 华中科技大学 | Compile-time code security detection method based on rule base |
CN106354632A (en) * | 2016-08-24 | 2017-01-25 | 北京奇虎测腾科技有限公司 | Source code detecting system and method based on static analysis technology |
CN106775483A (en) * | 2016-12-26 | 2017-05-31 | 湖南国科微电子股份有限公司 | A kind of RAID coding/decoding systems and method for SSD |
CN106844096A (en) * | 2016-12-27 | 2017-06-13 | 北京五八信息技术有限公司 | The treating method and apparatus of program code |
CN106844192A (en) * | 2016-11-10 | 2017-06-13 | 乐视控股(北京)有限公司 | A kind of detection method of program's source code, device and electronic equipment |
US20180137279A1 (en) * | 2016-11-15 | 2018-05-17 | International Business Machines Corporation | Scan time reduction in application code security scanning |
-
2019
- 2019-02-20 CN CN201910126113.9A patent/CN109814874B/en active Active
Patent Citations (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040176930A1 (en) * | 2003-03-03 | 2004-09-09 | Microsoft Corporation | System and method for statically checking source code |
CN104077217A (en) * | 2013-03-28 | 2014-10-01 | 腾讯科技(深圳)有限公司 | Method and system for compiling and issuing code file |
CN104424088A (en) * | 2013-08-21 | 2015-03-18 | 腾讯科技(深圳)有限公司 | Software testing method and device |
US20150248564A1 (en) * | 2014-02-28 | 2015-09-03 | International Business Machines Corporation | Protecting sensitive data in software products and in generating core dumps |
CN104978191A (en) * | 2015-06-24 | 2015-10-14 | 小米科技有限责任公司 | Application deployment method and server |
CN105468428A (en) * | 2015-12-04 | 2016-04-06 | 上海斐讯数据通信技术有限公司 | Android source code compiling method and system |
CN105912381A (en) * | 2016-04-27 | 2016-08-31 | 华中科技大学 | Compile-time code security detection method based on rule base |
CN106354632A (en) * | 2016-08-24 | 2017-01-25 | 北京奇虎测腾科技有限公司 | Source code detecting system and method based on static analysis technology |
CN106844192A (en) * | 2016-11-10 | 2017-06-13 | 乐视控股(北京)有限公司 | A kind of detection method of program's source code, device and electronic equipment |
US20180137279A1 (en) * | 2016-11-15 | 2018-05-17 | International Business Machines Corporation | Scan time reduction in application code security scanning |
CN106775483A (en) * | 2016-12-26 | 2017-05-31 | 湖南国科微电子股份有限公司 | A kind of RAID coding/decoding systems and method for SSD |
CN106844096A (en) * | 2016-12-27 | 2017-06-13 | 北京五八信息技术有限公司 | The treating method and apparatus of program code |
Non-Patent Citations (2)
Title |
---|
S.J.PROWELL等: "Automated vulnerability detection for compiled smart grid software", 《2012 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES (ISGT)》 * |
何博远: "逻辑漏洞检测与软件行为分析关键技术研究", 《中国博士学位论文全文数据库》 * |
Also Published As
Publication number | Publication date |
---|---|
CN109814874B (en) | 2023-03-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11514172B2 (en) | System and method for information flow analysis of application code | |
Anand et al. | Towards certified meta-programming with typed Template-Coq | |
Furr et al. | Profile-guided static typing for dynamic scripting languages | |
US6063133A (en) | No preprocessor for embedded SQL in a 3GL | |
TWI536263B (en) | Projecting native application programming interfaces of an operating system into other programming languages | |
KR20200021993A (en) | Blockchain compiler | |
EP3491527B1 (en) | Debugging tool for a jit compiler | |
US11144643B1 (en) | Functional language source code vulnerability scanner | |
KR20070015440A (en) | Methods and systems for dynamically composing distributed interactive applications from high-level programming languages | |
JP2012504826A (en) | Programming language with extensible syntax | |
CN108595187A (en) | Method, device and the storage medium of Android installation kit integrated software development kit | |
Yang et al. | Powerstation: Automatically detecting and fixing inefficiencies of database-backed web applications in ide | |
CN104134039A (en) | Virus checking and killing method, virus checking and killing client, virus checking and killing server and virus checking and killing system | |
Delgado‐Pérez et al. | Performance mutation testing | |
US9432278B2 (en) | Simulation of interactions between network endpoints | |
WO2019033019A1 (en) | System and method for providing cloud operating system verifications for a domain-specific language for cloud services infrastructure | |
US20100299659A1 (en) | Attribute based method redirection | |
CN109814874A (en) | A kind of compiling result output control method, system and application | |
Payette | Windows PowerShell in action | |
Selfridge | GRIFT: A richly-typed, deeply-embedded RISC-V semantics written in Haskell | |
Zadka | DevOps in Python: Infrastructure as Python | |
CN107038352A (en) | Intranet security access method, device and terminal | |
WO2017063323A1 (en) | Method for implementing cloud locking of sensitive data based on reconstruction technology | |
CN114115959A (en) | APP (application) thermal restoration method and device, readable storage medium and computer equipment | |
JP7059757B2 (en) | API processing method, terminal, API processing program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |