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
math: introduce handle_mod_rl()
2013-05-20
D
a
n Carpenter
m
a
t
h: intr
o
d
u
c
e handle_mod_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: crea
t
e hackish temporary
handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
m
ath
:
create new han
d
le_m
i
n
u
s_preo
p
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
mat
h
: crea
t
e
n
ew han
d
le
_
bitwise_ne
g
ate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rp
e
nter
m
a
th: i
n
troduce handle
_
expression_
s
tatem
e
nt_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: use handle
_
vari
a
b
l
e(
)
in handle_pre
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h
:
intr
o
duc
e
h
andle_nega
t
e_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: i
n
troduc
e
handle_amper
s
and_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: ha
c
k up a
tem
p
orary handle_preop_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
n
t
er
math:
h
a
ndle E
X
P
R_POSTOP
w
ith _
g
et
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
p
ent
e
r
math: introdu
c
e
ha
n
d
l
e_c
o
nd
i
tional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: introduce han
d
le_logical_
r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
m
a
th:
in
t
r
od
u
ce handle_compariso
n
_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
enter
math: crea
t
e handle
_
call_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpente
r
mat
h
:
c
reate handle_va
r
iable() instead of
_
get_impl
i
e
d
_
v
alue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
move
get_const_value() forwa
r
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: ha
n
d
le casting in _get
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carp
e
nter
m
a
th:
fi
x
u
p
some thinkos i
n
the _get_rl() tr
a
n
s
it
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: introduce te
m
porary RL_IMPLIED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h:
d
uplicate _get_value() into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math:
m
ov
e
abs
o
l
u
te min/max cod
e
from _get_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rp
e
nter
mat
h
: in
t
rod
u
ce _g
e
t_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpenter
ranges: intro
d
u
c
e rl_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
arpent
e
r
math: s/NOTIMPLIED/EX
A
CT
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpe
n
te
r
math: improve
a
bsolute max/m
i
n with regards to ca
s
t
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpente
r
s
v
a
l
:
fix sval_
t
oo_high
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n Ca
r
penter
db: in
t
roduce call_results_
t
o_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan
Carp
e
nter
db: mo
v
e get
_
param_name()
t
o cent
r
al locat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan C
a
rpenter
flow: look at
static
and not-sta
t
ic
local inline funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Ca
r
pent
e
r
extra
:
add s
e
t_extra_n
o
dmod() to smatch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
D
a
n Carpenter
deref: fix segfault p
a
rsi
n
g invalid c code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpente
r
implie
d
:
p
reser
v
e
equivalence acro
s
s
s
witch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan C
a
rpenter
m
ath: h
a
ndle size
o
f
for zero siz
e
bitf
i
elds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
e
r
extra: handle previous
l
y
a
ssigned
s
i
m
p
le math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: handle
"if (a
- 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carp
e
nter
e
xtra: spl
i
t match
_
comparison() int
o
t
w
o functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
Carp
e
n
t
e
r
capped: k
n
own v
a
lu
e
s are alway
s
capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
ente
r
Rever
t
"sparse: in
t
r
oduce get_expression_value_nomo
d
()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carp
e
n
t
er
show_unre
a
chable
.
sh: add some m
o
re
i
gnored ke
r
nel
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
pent
e
r
flow: don't
print duplicat
e
"unreachable code
"
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: repl
a
ce databas
e
info
scripts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Da
n
Carpenter
sho
w
_
un
r
ea
c
hable
.
sh: cha
n
g
e the line num
b
er f
o
rmat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Car
p
enter
show_unreachable
.
sh: replace ta
b
s with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpent
e
r
db: kernel
:
fake up ->r
e
ad/w
r
ite() limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
e
r
db
:
st
o
re "too common" functions in the data
b
ase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
n
t
er
p
aram_cleared
:
clear_buffer: a
d
d them
t
o
t
he ch
e
ck_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
extra: don't use the in
d
ire
c
t_modification_hoo
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carp
e
nt
e
r
e
x
t
ra: make param_fi
l
te
r
set
_
extra_mo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
rosenberg: remove pahole
d
epen
d
ency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
parse: add
a
big hack to
track
p
a
c
ked s
t
r
u
ct
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*new* smatch_clear_buffer
.
c: han
d
le me
m
s
e
t()
t
ype functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
r
penter
p
a
ram_limit/filt
e
r
:
ignore whole
rang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
ra
n
ge
s
:
a
n e
m
pty range is not a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
r
p
enter
e
xtra
:
r
emo
v
e some
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
extra: small fix for when the datab
a
se is dis
a
bl
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an
C
arpente
r
db: al
w
ays split the return value
s
if we'
r
e n
o
t us
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
conditi
o
ns: u
s
e set_extra
_
expr_mod() to chang
e
extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an C
a
r
penter
user_data
:
compat
syscall parameter
s
a
r
e user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpente
r
u
ser_data:
u
s
in
g
a
user s
u
pplie
d
offset in
t
o an
known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
r
p
enter
locking:
a
dd
s
ome m
o
re bh
lock
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Mer
g
e branch 'r
f
c-attribute-str
u
ct
'
of git://g
i
t
.
ke
r
nel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpen
t
e
r
check_deref: disable "po
t
ential NULL
d
ereferenc
e
" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
D
a
n
Carpenter
loc
k
ing: add loca
l
_bh_disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan
C
a
r
pen
t
er
locki
n
g:
handle null vs non-NUL
L
ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
arpenter
l
ocking: upd
a
te validation/ tests to the new warn
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
a
rp
e
nter
fun
c
tion_ptrs: "(*pt
r
s[0])(a, b)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
function_ptrs:
r
ec
o
rd when
fu
n
ction pointer is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenberg: remove some
s
tructs w
h
ich don't have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
rosenberg: check for nla_pu
t
info leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
flow: fake
m
ember and eleme
n
t
a
s
s
ignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n
C
a
rpenter
expressions: i
n
troduce ar
r
ay_element_expression()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpent
e
r
lockin
g
: take retu
r
ns va
l
ues into consideration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
check_kernel: l
o
o
k ha
r
der for the co
n
t
a
iner_of() macro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
implied:
d
b
: f
i
x how
r
eturns a
r
e b
r
oken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
d
b
: return_id was set incorrectly when
inline func
t
i
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Ca
r
p
e
nter
db: f
i
x ho
w
t
h
e return valu
e
s
are
caste
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Ca
r
pente
r
helper: make is_array(
)
accep
t
N
U
LL pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fun
c
tion
_
ptrs: do b
e
tter at
f
unction p
t
r
t
o function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
flow: create
fake assignment
s
for array
d
e
clarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
flow: expressions: d
o
n'
t
t
r
y upd
a
tin
g
to unini
t
ialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
a
rpenter
db
:
fixup_kernel
.
sh: (struct mISDNchannel)->send information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fi
x
u
p_kernel
.
sh: re
c
ord where ->notifier_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
flow: handle i
n
lines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpen
t
er
db: fu
n
ction_p
t
rs: track pointer to pointer a
s
si
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
math: sil
e
nc
e
some
b
uffer overf
l
ow false p
o
sitiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpent
e
r
db: fixup
_
k
ernel
.
sh: i
g
nore (struct
timer_l
i
s
t
)
->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Ja
n
c
extra: F
i
x segmen
t
a
t
i
o
n fault in ma
t
ch_assign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
C
a
rpent
e
r
db: look up
a
ll the funct
i
o
n
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
hel
p
e
r
: allo
w
get_p
a
ram_num_from_sym() to be
u
sed in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
string_list: introd
u
ce list_h
a
s_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
smatch_string_list
.
c
: se
p
ar
a
te string_list functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
d
b:
only lo
o
ku
p
functi
o
n point
e
rs once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
an
n
otat
e
: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
helper: ignore
p
arens in ex
p
r
_t
o
_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overflow: silence kernel
f
alse
p
ositive about __per
_
cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
kerne
l
:
recover module_init/exit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
flo
w
: pass
t
he
sy
m
_lis
t
to
t
h
e
E
ND_FILE
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
f
ixup_kernel
.
sh remove some mo
r
e USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
enter
db: speedu
p
fill_db_caller_info
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nte
r
e
x
t
ra: improve +=
a
nd -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next