repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
project: create a way to generate smatch_data for a new project
2017-05-10
Dan Car
p
enter
project: create
a
way to generate sma
t
c
h_data for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
arpe
n
t
e
r
core: improve
Fu
n
ct
i
on t
o
o
hairy calculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
helpe
r
: don'
t
crash s
o
much on
inv
a
lid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
te
r
comparison: fi
x
s
o
m
e memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
db/build_early_
i
n
de
x
: build another index on parameter_n
a
me
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arp
e
nter
db/kerne
l
.
r
e
turn_fixes:
atomic_read()
returns t
h
e v
a
lue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
debug
.
c: ad
d
some
n
ew (not very usef
u
l) features
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpen
t
er
b
u
f
_compar
i
son: fix
b
uild and
a
dd make n
e
w co
d
e functional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Car
p
enter
free: fix build e
r
r
or
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
e
rr_ptr_deref:
m
a
k
e
e
r
r_ptr_m
i
n/max
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
r
ee: do
n
't complain whe
n
people d
o
frob(&freed_
v
ariab
l
e)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
kernel_printf: fix %pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
e
n
ter
logical_instea
d
_of_bitwise: silence some false
posit
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unus
e
d_ret: make warning m
e
ss
a
g
es consistent with ev
e
ryone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
user_data
2
: t
a
g all u
n
ion members as untrusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
us
e
r_data2: if u
s
ers can
only specify a single value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
penter
extr
a
:
use long to
short
mappin
g
s
for PARAM_
L
IM
I
T and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
us
e
r_d
a
ta2:
handle "if
(
untr
u
sted != trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
buf_compa
r
is
o
n:
clea
r
array <-> size links bet
t
er on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
p
en
t
er
buf
_
comparison:
r
ecord i
f
w
e
pass an ARRAY_
S
IZE
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
return_to_param (
m
a
p
pings)
:
map regular assi
g
nmen
t
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
user_d
a
ta2: handle inlines
bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
math: pr
e
fer
r
eal absol
u
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Car
p
en
t
er
m
odification_hooks:
use long
to short mappin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpenter
retu
r
n_t
o
_param: ha
n
dle "retur
n
g
et_
f
oo
(
b
ar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expression
:
fix expr_ge
t
_parent_stmt
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
an C
a
rpenter
function
_
hooks: on
l
y
add comparisons when
needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
p
enter
flow: fix
s
o
m
e
parent tran
s
it
i
on fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow:
s
et parent state
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
cor
e
: a
d
d
e
xpr_get/se
t
_parent_stm
t
(
)
acc
e
ssor
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: create
an accessor method expr_get_
p
are
n
t_ex
p
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w: renam
e
set
_
parent_
s
tmt() => stmt_set_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
er
flow:
r
e
name set_p
a
rent_expr() => e
x
p
r_set_parent_
e
x
p
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Car
p
enter
return_t
o
_
param: Use
the D
B
return
s
trings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n
Carpe
n
ter
smdb
.
py: translate more parameter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
D
an C
a
rpe
n
te
r
smdb
.
py: guess th
e
parameter name
s
ev
e
n if the fi
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan
C
arpenter
smdb: don't
c
r
a
s
h
i
f the param
e
ter names are
n
'
t
known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
flow: fix fake en
v
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
balance
d
: delete
this ch
e
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Ca
r
pent
e
r
f
lo
w
: add
init_fake_env()/end_f
a
k
e_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan
C
arpen
t
er
s
t
ored
_
c
o
nditions: store as expression
pointers ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan
C
arpenter
flo
w
, db: fix
how inline
f
u
nc
t
ion
assignments
a
r
e handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpe
n
ter
flow: re
m
o
v
e some bug
g
y u
n
used code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
ente
r
fl
o
w
:
fix
initialization of nested structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpente
r
db: build
a
n
in
d
ex on
t
he pa
r
amete
r
n
a
mes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
math:
improve
M
OD
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
parameter_na
m
es: sto
r
e p
a
rameter names i
n
th
e
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
s
m
db
.
py: reformat ca
l
l
_
i
nfo output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpente
r
Makefile: u
s
e
q
uiet link to
l
i
n
k
s
match
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpe
n
t
e
r
states: fix handling switche
s
inside condition
s
(
f
ake_c
u
r_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
state
s
: split update_f
a
ke_stree_with_merged() and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carp
e
nter
t
ype_val: small tweak for arrays and complicat
e
d
l
va
l
ues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra:
h
a
n
d
l
e indi
r
ection like "p = &f
o
o; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
penter
e
x
tr
a
: handle MOD cond
i
tion
s
like
"
if
(
a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
mod
i
fication_hooks: remov
e
unused indire
c
t
m
odification
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpe
n
t
er
validatio
n
/s
k
b3: delete some
a
cc
i
d
e
n
t
a
l d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carp
e
nter
user_data2:
don'
t
set pa
r
a
m
eters to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpen
t
er
user
_
dat
a
2: handle
s
k
b-
>
data math
a
litt
l
e
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpente
r
user_data
2
: re-work handling of s
k
b->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse_call
_
math: work aroun
d
for
l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpent
e
r
leaks: don't complai
n
if
we overwrite NULL poi
n
ters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
free: ignore impossible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
shift_
t
o_zero: make the error m
e
ssage mor
e
inf
o
rmat
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpe
n
ter
test_
b
it: add te
s
t_and
_
clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
sm
d
b
.
py: print the return_implies v
a
l
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Ca
r
penter
d
b
/
fixu
p
_kerne
l
.
sh
:
ignore
do_lo
o
p_
r
eadv_writev
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ex
t
ra: se
t
hard
m
ax if a function is called with
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
extra:
f
ix handling of
k
now
n
con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
param_limit: do
n
't set s
o
me un
c
h
ang
e
d
l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
: prevent s
l
ow down
s
sp
l
itting returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
db: set parse_error
i
f the
S
QL fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
rpenter
param_set: handle if
t
he pare
n
t was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n Car
p
enter
buf_size: fix type
_
b
y
tes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db:
filte
r
poi
n
ter calls by f
u
nctio
n
signa
t
ures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
er
implied: re
v
ert "ti
n
y speed
u
p"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpente
r
ass
i
g
n_vs_compare: warn about
"
i
f (fo
o
= &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
type: fix type_
b
its() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
s
h
i
f
t_to_zero: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpente
r
sm
a
t
c
h
.
c: remove a bla
n
k
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
ente
r
db: split return
stat
e
s by nul
l
vs
non
-
null p
a
rameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpe
n
ter
extra:
f
i
l
t
er P
A
R
A
M_
V
ALUEs w
i
th both e
x
tr
a
and
r
eal_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
m
a
th: hand
l
e -foo
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
help
e
r
: intr
o
d
u
c
e
get str
u
ct an
d
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
implie
d
: tiny speed
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Ca
r
pen
t
er
implied:
s
m
all cl
e
an
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpen
t
er
r
anges: hand
l
e b
i
twi
s
e AND operatio
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
te
r
real_absolute: int
r
oduc
e
ge
t
_real_absolute_var_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
ente
r
a
v
l: add a
short cut for when
th
e
re ar
e
no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpen
t
er
type_val:
handle
|
= type assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpenter
d
b: rename "func
t
ion_type_info" tabl
e
to "func
t
ion
_
typ
e
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
ter
user_data2: if a user
_
data is equal to non-u
s
er
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
pre-
p
rocess: tr
y
find
any includ
e
that lo
o
ks
li
k
e
it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
c
omparison:
r
e
move some local_
d
ebug infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
Carpent
e
r
db/fix
u
p_kern
e
l
.
s
h:
write to the temporary D
B
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
extra:
fix ty
p
e
issue handling +
+
= a
n
d --= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n C
a
rpe
n
ter
math:
remove uncommitted function
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an C
a
rpenter
m
ath: fix handling o
f
sizeof() __l
e
1
6
typ
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpen
t
er
math: handle rea
l
_
a
bsolu
t
e
variabl
e
s more accu
r
at
e
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absolute: igno
r
e iterato
r
p
re stat
e
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
h
e
lper: In expr_t
o
_
s
tr() remove extra parenthesi
s
a
r
o
und
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next