US 12,332,994 B2
Execution code provision method and software development system
Kristopher Andrew Tate, Kyoto (JP)
Assigned to CONNECTFREE CORPORATION, Kyoto (JP)
Appl. No. 17/622,573
Filed by connectFree Corporation, Kyoto (JP)
PCT Filed Jun. 24, 2020, PCT No. PCT/JP2020/024799
§ 371(c)(1), (2) Date Dec. 23, 2021,
PCT Pub. No. WO2020/262456, PCT Pub. Date Dec. 30, 2020.
Claims priority of application No. 2019-119106 (JP), filed on Jun. 26, 2019.
Prior Publication US 2022/0269773 A1, Aug. 25, 2022
Int. Cl. G06F 21/51 (2013.01); G06F 8/60 (2018.01)
CPC G06F 21/51 (2013.01) [G06F 8/60 (2013.01); G06F 2221/033 (2013.01)] 10 Claims
OG exemplary drawing
 
1. An execution code provision method, comprising:
generating a source code with a processor according to a user operation;
generating by the processor an intermediate representation from the source code;
determining by the processor whether the intermediate representation satisfies a predetermined rule or regulation, wherein determining whether the intermediate representation satisfies the predetermined rule or regulation comprises at least one of:
determining that an error handling construct is included,
determining that an undefined operation is not included, or
determining that an irregular error handling is not included;
issuing a certificate associated with the intermediate representation when the intermediate representation satisfies the predetermined rule or regulation;
generating an execution code from the intermediate representation when the processor determines that the intermediate representation satisfies the predetermined rule or regulation; and
allowing execution of the execution code based on the certificate.